Research Fellow / Senior Research Fellow

Purpose of the Posts Imperial College London and National University of Singapore are 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: Programming languages and software analysis Formal verification and automated theorem proving Neuro-symbolic AI, machine learning and LLMs for code and reasoning 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. We welcome candidates who are self-motivated, collaborative, and enthusiastic about producing high-quality research. A strong publication record consistent with the candidate’s career stage is expected, alongside the ability to work creatively across disciplinary boundaries and contribute to a vibrant research environment. The research programme represents a collaboration between the United Kingdom and Singapore and will be based at Imperial Global Singapore (IGS). Candidates will be employed by Imperial Global Singapore, a research division of Imperial College London, consistently ranked within the top 10 of the QS University Rankings. Candidates must be resident and based in Singapore, but there will be opportunities for research visits to Imperial’s London-based locations. Informal enquiries are greatly welcome. You are encouraged to send an e-mail to Prof Cristian Cadar c.cadar@imperial.ac.uk, together with an indication of your research interests and their alignment to the programme. Questions about the recruitment process, should go to the HR at Imperial Global Singapore hrigsingapore@imperial.ac.uk. Contract Type: 1-year fixed term in first instance, extendable for an additional 3 years (subject to probation period) Key Responsibilities Main Duties Take initiative in planning and conducting independent research aligned with the aims of the Program Reasoning project. 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. Design, implement, and evaluate novel models, algorithms, tools, or benchmarks relevant to program reasoning and AI-assisted software analysis. Maintain highly organised, accurate, and reproducible records of research activities, code, experiments, and results. Maintain and promote the highest standards of scientific integrity, rigour, and research ethics. Actively contribute to all aspects of the Program Reasoning research programme, including theoretical, empirical, and collaborative work. Report research progress and outcomes internally and externally to project collaborators, funders, and the wider research community. Present findings to colleagues and at national and international conferences, workshops, and seminars. Publish research outcomes in high-quality refereed conferences and journals. Collaborate with academic and interdisciplinary partners to advance research ideas and support their translation into broadly useful methods, tools, or scientific impact. Contribute to the development of open research resources, such as dat…