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.
You can email Lead PIs with your CV (including your research focus and publication list or projects):
Prof. Abhik Roychoudhury
National University of Singapore
Email: abhik@nus.edu.sg
Website: https://abhikrc.com
Prof. Cristian Cadar
Imperial College London
Email: c.cadar@imperial.ac.uk
Website: https://www.doc.ic.ac.uk/~cristic/