Research Associate in Program Analysis and Generative AI

Fixed term appointment for 24 months

Applications are invited for a postdoctoral position in the Software Reliability Group, under the direction of Prof. Cristian Cadar.

We are looking for motivated applicants with expertise in program analysis to work on an exciting project at the intersection of program analysis and generative AI. The research will focus on developing novel techniques for the automated testing of third-party software libraries and other complex software systems.

To apply, you will be expected to have:

  • Proven knowledge in program analysis, including relevant publications in top venues such as those in software engineering (particularly ICSE, FSE, ASE, ISSTA, TOSEM, TSE, EMSE), programming languages (particularly ASPLOS, PLDI, OOPSLA, ECOOP, TOPLAS), security (particularly CCS, USENIX Security, IEEE S&P, NDSS), and computer systems (particularly OSDI, SOSP, EuroSys and USENIX ATC).
  • Ability to conduct research both independently and in collaboration.
  • Excellent communication skills. The position will involve travel to meet collaborators in Singapore and present 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 but will be initially appointed as a Research Assistant within the salary range £43,003 - £46,297 per annum.

You should familiarise yourself 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. There are over fifty academic staff members actively involved in research, creating a lively and stimulating atmosphere. The department is located in central London, next to Hyde Park and the museums of South Kensington.

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.

Note that the latest start date is in May 2025, but an earlier start date is possible.

For candidates from outside the UK, we can also assist with relocation costs such as visa fees and travel expenses via the AI Futures Grants scheme.

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

How to apply

Applications must include the following:

  • An online application form

  • 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 Jamie Perrins, Administrative Assistant, at j.perrins@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.