Imperial Global Singapore, Imperial College London’s formal research and innovation entity in Singapore, is seeking (Senior) Research Fellows to join the exciting new Program Reasoning research project, an ambitious research programme developing the next generation of AI methods for reasoning about software, code, and formal systems.
Program Reasoning sits at the intersection of artificial intelligence, programming languages, formal methods, and automated reasoning. The project aims to advance how AI can support program understanding, verification, synthesis, and reasoning, with a particular focus on building robust, trustworthy, and scientifically grounded approaches. This includes exploring how modern machine learning methods can work alongside symbolic and formal reasoning techniques to address challenging problems in software and program analysis.
We are particularly looking for candidates with backgrounds in areas such as:
1. Programming languages and software analysis
2. Formal verification and automated theorem proving
3. Neuro-symbolic AI, machine learning and LLMs for code and reasoning
4. Trustworthy, interpretable, and reliable AI systems
As a member of the Program Reasoning project, the successful candidate will contribute to fundamental research on AI methods for program reasoning, while also helping translate these advances into practical tools, benchmarks, and research outputs that can influence both academia and real-world software engineering practice.
The project offers a unique opportunity to work on cutting-edge problems around the use of AI for rigorous reasoning about programs, combining theoretical depth with practical impact. We are seeking highly motivated researchers who are excited by interdisciplinary work across AI and computer science, and who are keen to help shape a fast-moving and internationally important research area.
5. Take initiative in planning and conducting independent research aligned with the aims of the Program Reasoning project.
6. Develop and apply suitable methodologies for research in areas such as AI for code, program reasoning, formal verification, automated reasoning, and machine learning for structured or symbolic data.
7. Design, implement, and evaluate novel models, algorithms, tools, or benchmarks relevant to program reasoning and AI-assisted software analysis.
8. Maintain highly organised, accurate, and reproducible records of research activities, code, experiments, and results.
9. Maintain and promote the highest standards of scientific integrity, rigour, and research ethics.
10. Actively contribute to all aspects of the Program Reasoning research programme, including theoretical, empirical, and collaborative work.
11. Report research progress and outcomes internally and externally to project collaborators, funders, and the wider research community.
12. Present findings to colleagues and at national and international conferences, workshops, and seminars.
13. Publish research outcomes in high-quality refereed conferences and journals.
14. Collaborate with academic and interdisciplinary partners to advance research ideas and support their translation into broadly useful methods, tools, or scientific impact.
15. Contribute to the development of open research resources, such as datasets, benchmarks, software prototypes, or reproducible research artefacts where appropriate.
16. Build and maintain research collaborations within Imperial College London and with external collaborators in the wider AI, programming languages, and formal methods communities.
17. Promote the visibility and reputation of the Program Reasoning project and the host research group through excellent research, engagement, and professional representation.
18. Contribute to the preparation of research proposals and funding applications to support the future development of the project.
19. Participate actively in group meetings, reading groups, internal seminars, and project workshops.
20. Contribute to the smooth running of the research group and project activities, including collaborative planning and knowledge sharing.
21. Assist in the supervision and mentoring of students, interns, or junior researchers where appropriate.
22. Keep up to date with relevant scientific literature and emerging developments in AI, program reasoning, formal methods, and related areas.
23. Comply with institutional policies and procedures, including those relating to research governance, data management, and responsible research practice.
24. Undertake any other duties reasonably requested by the Principal Investigator or project leads in support of the Program Reasoning research programme.
25. a PhD (or equivalent) in computer science, artificial intelligence, machine learning, programming languages, formal methods, mathematics, or a closely related discipline
26. At Senior Research Fellow: 2 to 5 years of post-doctoral research in an area relevant to the Program Reasoning Project
27. Experience in the design, implementation, evaluation, and interpretation of computational experiments and scientific data
28. Experience of strongly interdisciplinary research, particularly across AI and core areas of computer science.
29. Strong programming skills relevant to AI and computational research
30. Ability to work independently and with minimal supervision and prioritise work in response to deadlines
31. Ability to work collaboratively, as part of a large, distributed team, potentially across different time-zones
32. Discipline and regard for confidentiality and security
The job descriptions for each role contain detailed person specifications.
33. Interdisciplinary research environment
34. Extensive resources to support your work
35. Research with impact – we are directly addressing the needs of multiple local stakeholders which are representative of the global developments
36. The opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity
37. Attractive remuneration package in Singapore’s low income tax environment
38. CREATE - A worldwide unique location, that brings together world’s best universities under one roof
39. Be part of a diverse, inclusive, and collaborative work culture with various and resources designed to support your personal and professional .