Snabbfakta

    • London

Ansök senast: 2024-12-07

Research Associate in Program Analysis and Generative AI

Publicerad 2024-10-08

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 at 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.


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


  • 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.

    Please see job description for a full list of requirements. 


  • 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
  • Liknande jobb

    Publicerad: 2024-10-07
    • Aberdeen
    Publicerad: 2024-09-23
    • Antrim