Postdoctoral Researcher in Program Analysis and Generative AI

3 weeks ago


London, Greater London, United Kingdom Imperial College London Full time

We are seeking a highly motivated Postdoctoral Researcher to join our Software Reliability Group at Imperial College London. The successful candidate will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and generative AI.

The Software Reliability Group 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 successful candidate 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.

  • This role is supported by AI Futures Grants, a UK Government scheme designed to help the next generation of AI leaders meet the costs of relocating to the UK. AI Futures Grants provide financial support to reimburse relocation costs such as visa fees, the immigration health surcharge and travel/subsistence expenses. Successful candidates for this role may be able to get up to £10,000 to meet relocation costs, subject to terms and conditions.
  • 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


  • London, Greater London, United Kingdom Imperial College London Full time

    Postdoctoral Researcher in Program Analysis and Generative AIWe are seeking a highly motivated postdoctoral researcher to join our Software Reliability Group at Imperial College London. The successful candidate will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and generative AI.The Software...


  • London, Greater London, United Kingdom Imperial College London Full time

    We are seeking a highly motivated Postdoctoral Researcher to join our Software Reliability Group at Imperial College London. The successful candidate will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and generative AI.The department is a leading department of Computer Science among UK...


  • London, Greater London, United Kingdom Imperial College London Full time

    Postdoctoral Researcher in Software ReliabilityWe are seeking a highly motivated postdoctoral researcher to join our Software Reliability Group at Imperial College London. The successful candidate will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and generative AI.As a leading department of...


  • London, Greater London, United Kingdom Imperial College London Full time

    Postdoctoral Researcher in Software ReliabilityWe are seeking a highly motivated postdoctoral researcher to join our Software Reliability Group at Imperial College London. The successful candidate will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and generative AI.As a leading department of...


  • London, Greater London, United Kingdom Imperial College London Full time

    Job Opportunity: We are seeking a highly motivated postdoctoral researcher to join our Software Reliability Group at Imperial College London.About the Role: The successful candidate will work on an exciting project at the intersection of program analysis and generative AI, developing novel techniques for automated testing of third-party software...


  • London, Greater London, United Kingdom Imperial College London Full time

    Join our Research Team at Imperial College LondonWe are seeking a highly motivated Postdoctoral Research Fellow to work on an exciting project in program analysis and generative AI. The successful candidate will develop novel program analysis techniques for automated testing of third-party software libraries.Key Responsibilities:Proven knowledge in program...


  • London, Greater London, United Kingdom Imperial College London Full time

    Join Our Team as a Research Associate in Program Analysis and Generative AIWe are seeking a highly motivated and talented Research Associate to join our Software Reliability Group at Imperial College London. As a Research Associate, you will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and...


  • London, Greater London, United Kingdom Imperial College London Full time

    Join Our Team as a Research Associate in Program Analysis and Generative AIWe are seeking a highly motivated and talented Research Associate to join our Software Reliability Group at Imperial College London. As a Research Associate, you will work under the direction of Prof. Cristian Cadar on an exciting project at the intersection of program analysis and...


  • London, Greater London, United Kingdom The International Society for Bayesian Analysis Full time

    Postdoctoral Researcher in Statistical EpidemiologyWe are seeking a highly skilled postdoctoral researcher to join our team at The International Society for Bayesian Analysis. The successful candidate will work on a cutting-edge research project that combines statistical methodology with public health applications.The project involves developing new Bayesian...


  • London, Greater London, United Kingdom Britsoccrim Full time

    Britsoccrim invites applications for a Postdoctoral Research Assistant position in Surgical Vision and AI for intraoperative surgical navigation and computer-assisted diagnosis. The successful candidate will be based within the Hamlyn Centre at Imperial College London and will carry out research at the South Kensington laboratories and at Charing Cross...


  • London, Greater London, United Kingdom Imperial College London Full time

    The Hamlyn Centre at Imperial College London is seeking a highly skilled Postdoctoral Research Associate to join our team in developing innovative surgical vision and AI technologies. The successful candidate will play a pivotal role in developing a novel surgical platform for surgical navigation and tissue characterisation during neurosurgery.The project...


  • London, Greater London, United Kingdom Francis Crick Institute Full time

    Postdoctoral Positions at the Francis Crick InstituteWe are seeking highly skilled and motivated postdoctoral researchers to join our vibrant community of scientists tackling complex biomedical research questions.Located in central London, our state-of-the-art facilities and extensive seminar programs provide an ideal environment for collaboration and...


  • London, Greater London, United Kingdom Francis Crick Institute Full time

    Postdoctoral Positions at the Francis Crick InstituteWe are seeking highly skilled and motivated postdoctoral researchers to join our vibrant community of scientists tackling complex biomedical research questions.Located in central London, our state-of-the-art facilities and extensive seminar programs provide an ideal environment for collaboration and...


  • London, Greater London, United Kingdom The Lakes at Jefferson Full time

    Postdoctoral Research FellowWe are seeking a highly motivated Postdoctoral Research Fellow to join our team at The Lakes at Jefferson. The successful candidate will have a strong background in cell biology and developmental biology, with expertise in advanced confocal and/or light sheet imaging and quantitative image analysis approaches.The Postdoctoral...

  • AI Researcher

    1 month ago


    London, Greater London, United Kingdom AI Safety Institute Full time

    Join Our Team as a Risk Modeling ResearcherWe're a leading organization focused on mitigating the risks associated with autonomous AI systems. Our team is dedicated to advancing the state of the science in risk modeling, incorporating insights from safety-critical and adversarial domains, and developing novel techniques to evaluate these risks.About the...

  • AI Researcher

    1 month ago


    London, Greater London, United Kingdom AI Safety Institute Full time

    Join Our Team as a Risk Modeling ResearcherWe're a leading organization focused on mitigating the risks associated with autonomous AI systems. Our team is dedicated to advancing the state of the science in risk modeling, incorporating insights from safety-critical and adversarial domains, and developing novel techniques to evaluate these risks.About the...


  • London, Greater London, United Kingdom The International Society for Bayesian Analysis Full time

    Postdoctoral Researcher in Statistics and Pathogen PhylogeneticsWe are seeking a highly motivated postdoctoral researcher to join our team at The International Society for Bayesian Analysis. The successful candidate will work on a cutting-edge research project in statistics and pathogen phylogenetics, collaborating with our partners in Seattle.Key...


  • London, Greater London, United Kingdom The International Society for Bayesian Analysis Full time

    Postdoctoral Researcher in Statistics and Pathogen PhylogeneticsWe are seeking a highly motivated postdoctoral researcher to join our team at The International Society for Bayesian Analysis. The successful candidate will work on a cutting-edge research project in statistics and pathogen phylogenetics, collaborating with our partners in Seattle.Key...


  • London, Greater London, United Kingdom The Crick Full time

    Postdoctoral Fellow OpportunityWe are seeking a highly motivated and experienced postdoctoral researcher to join our team at The Crick. As a postdoctoral fellow, you will have the opportunity to work on a cutting-edge project that combines computational models and behavioral observations to measure psychosis-like perceptions in mice and humans.The successful...


  • London, Greater London, United Kingdom AI Safety Institute Full time

    We're focused on addressing extreme risks from autonomous AI systems that can interact with the real world. To do this, we're advancing the state of the art in risk modeling, incorporating insights from other safety-critical and adversarial domains, and developing novel techniques. We're also empirically evaluating these risks through one of the world's...