Research Fellows in AI for Program Reasoning at Imperial Global Singapore

Fixed term appointment for 24-48 months

Applications are invited for postdoctoral Research Fellow positions in the Software Reliability Group, under the direction of Prof. Cristian Cadar. The positions will be in Singapore, associated with Imperial College London‘s research hub there, called Imperial Global Singapore.

The postdoctoral Research Fellows will work on an exciting project at the intersection of program analysis and agentic AI. We are looking for motivated applicants with expertise in (a subset of) the following topics: testing and analysis, AI agents, formal methods, operating systems verification, The research will focus on developing novel techniques for automated program reasoning which combine traditional and AI-based techniques, ranging from fuzzing to symbolic execution to static analysis and formal verification. A special focus will be placed on the validation and verification of systems-level code, such as networking protocol implementations and operating systems. In recent times, AI agents have made significant leaps and have shown promise in code generation and software engineering tasks. As AI continues to impact software engineering and adds to the volume of codebases, a natural question to ask is whether AI itself can be used for Verification and Validation (V&V) of AI-generated code. In this long-term research program, we will build AI agents for reasoning about network protocol implementations, multilingual codebases and kernel components. The agents should also attempt to reach the vision of trusted automatic programming—where code changes proposed by coding agents can be validated by AI agents.

To apply, you will be expected to have:

  • Top publications on (a subset of) the following topics: testing and analysis, AI agents, formal methods, operating systems verification.
  • Ability to conduct research both independently and in collaboration.
  • Excellent communication skills. The position will involve preparing deliverables for the funder and presenting the work at top conferences.
  • A PhD (or equivalent) in an area pertinent to this position. Candidates close to completion of their PhD will also be considered.

You should familiarise yourself with the AI for Program Reasoning programme and with the research of the Software Reliability Group (see our projects and publications).

The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities. The department has achieved top results in each of the research assessment exercises undertaken by the Higher Education Funding Council for England.

Imperial Global Singapore is a research hub of Imperial College London, located in vibrant Singapore. It hosts multiple research programmes, and is located in the campus of National University of Singapore, our main collaborators in this project.

We will be reviewing applications on a rolling basis and reserve the right to close the advert early if the position is filled. It is advisable that you submit your application as early as possible.

Informal inquiries are encouraged and can be addressed to Prof. Cristian Cadar.

How to apply

Interested applicants should first send their CV and publication record to Prof. Cristian Cadar.

Full applications will then have to include the following:

  • An online application form (link to be provided soon).

  • A two-page CV including a publication list.

  • A two-page research statement which should indicate what you see are interesting research issues relating to the above post, discuss your research background, and explain why you think your expertise is relevant. Generic research statements which do not address the points above will likely lead to the application being dismissed.

  • Transcripts of all university and PhD results.

  • The names and contact information of two or three referees who can provide letters of recommendation.

If your application is shortlisted, you will be invited for an interview and asked to solve a practical task.

Should you have any queries regarding the application process please contact Paige Noyce at p.noyce@imperial.ac.uk.

Committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.