Research Associate in Program Analysis and Generative AI

About the role:

Applications are invited for a postdoctoral position in the Software Reliability Group (https://srg.doc.ic.ac.uk/), 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 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.

What you would be doing:

You will develop novel program analysis techniques for automated testing of third-party software libraries.

What we are looking for:

• Proven knowledge in program analysis, including relevant publications in top venues
• Ability to conduct research both independently and in collaboration
• 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.

What we can offer you:

• Opportunity to work in a strong research group at a world-leading university
• Opportunity (but no obligation) to get involved in teaching and supervision of undergraduate and Master’s projects
• Travel to meet collaborators in Singapore and present the work at top conferences

Further Information

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.

*Maximum starting salary £51,885 per annum

Full-time, Fixed term position for 24 months. To start ideally ASAP, but no later than May 2025.

To apply click the 'Apply' button above and search using vacancy reference number ENG03288, in addition to completing the online application candidate should attach. 

• 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, to which areas (program analysis or systems) your background aligns best, and 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

Informal inquiries are encouraged and can be addressed to Prof. Cristian Cadar: c.cadar@imperial.ac.uk. 

For queries regarding the application process contact Jamie Perrins: j.perrins@imperial.ac.uk.

Advert information