[FM-India]Fwd: Post-doc position at National University of Singapore

Applications are invited for one post-doctoral position at the National University of Singapore (NUS) focusing on *Automatic Programming**.* This position will be part of a Singapore Ministry of Education (MoE) Tier 3, multi-year research program named "Automated Program Repair" which has been funded 2022-2027. This is a large research program involving several research projects in analysis, verification, test generation and applications related to program repair and automatic programming. To find out about work done in the area of program repair at NUS, kindly see the webpage *https://nus-apr.github.io/* The work will involve assured autonomy in software engineering by expanding on the recent activity of the group in building *AutoCodeRover*, available in arxiv. Specfically the work will be a combination of genAI and formal methods. /https://arxiv.org/abs/2404.05427 / /https://twitter.com/AbhikRoychoudh1/status/1777494000611852515/ Interested applicants are encouraged to start up a conversation with Abhik Roychoudhury by emailing their CV, see https://abhikrc.com/ for contact details. -- -Abhik Roychoudhury School of Computing National University of Singapore https://abhikrc.com