Vacancies

We are looking for PhD students, postdoctoral researchers, and research assistants interested in pursuing cutting-edge research at the intersection of AI agents and program reasoning. Ideal candidates will have strong backgrounds in program analysis, formal methods, AI agents, software engineering, or machine learning. Specific positions are advertised below.

Please email either or both Lead PIs with your CV (including your research focus and publication list or projects): Prof. Cristian Cadar and Prof. Abhik Roychoudhury.

Research Associate Positions

Published:

We have several Research Associate positions available to work on exciting topics as part of the AI for Program Reasoning program. These positions require at least a Master’s degree. Start dates throughout 2026 and 2027.

Program Manager

Published:

We are looking for a senior Postdoctoral Research Fellow to assume the exciting role of Program Manager for the AI for Program Reasoning project. This is a scientific role, but with significant leadership duties.

Research Fellow Positions

Published:

We have a large number of postdoctoral Research Fellow positions available to work on exciting topics as part of the AI for Program Reasoning program. Start dates throughout 2026 and 2027.

PhD Positions

Published:

We have several PhD positions available to work on exciting topics as part of the AI for Program Reasoning program. These positions start in August 2026 and are based at NUS.