[FM-India]Post doctoral Position: Automated Program Repair

Applications are invited for one post-doctoral position at the National University of Singapore (NUS) in the area of  Automated Program Repair These positions 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.  To see work done on program repair at NUS, kindly see *Project webpage:* https://nus-apr.github.io/ /Interested applicants can email directly with their CV, including information about relevant research experience. Research background in program analysis, software testing, formal verification, symbolic execution and trustworthy AI are considered relevant. / -Abhik Roychoudhury School of Computing National University of Singapore https://abhikrc.com