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.

Program Manager

Published: October 29, 2025

We are looking for a senior postdoctoral researchers 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.

Postdoc Positions

Published: October 28, 2025

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

PhD Positions

Published: October 27, 2025

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.