Research Associate in Program Analysis or Systems

3 weeks ago


South Kensington, United Kingdom Imperial College London Full time

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 and/or software systems.

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.

Note that an earlier start date is possible.

**Duties and responsibilities**:
The research will be part of the ERC Consolidator Grant Project PASS: Program Analysis for Safe and Secure Software Evolution, and will focus on helping software systems evolve safely and securely.

PASS aims to take a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system.

**Essential requirements**:
To apply, you will need to have a proven knowledge in either program analysis or systems and a proven research record and publications in one of these areas.

On the systems side, we expect a strong background in computer systems and at least one publication in top venues in computer systems (particularly SOSP/OSDI, EuroSys and USENIX ATC) or systems security (particularly CCS, USENIX Security, IEEE S&P, NDSS). You should familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the Varan, Mvedsua and SaBRe projects.

You must have a PhD (or equivalent) in an area pertinent to this position.*

You must have excellent communication skills and be able to organise your own work with mínimal supervision and prioritise work to meet deadlines.

**Further information**:

- A two-page CV including a publication list.
- Transcripts of all university and PhD results

**Documents**:

- Research Associate JD.pdf


  • Research Associate

    4 weeks ago


    South Kensington, United Kingdom Imperial College London Full time

    This post forms part of an Asthma+Lung UK Chair award Dr Molyneaux to investigate how microbial interaction with the host immune system drives inflammation and fibrosis. The post will investigate how interactions between the gut and lung microbiome, lung-resident inflammatory cells and airway epithelium contribute to lung inflammation, remodelling and...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    The Department of Civil and Environmental Engineering are seeking a Research Associate to work on the Horizon Europe funded project “R3VOLUTION (A rEVOLUTIONary approach for maximising process water REuse and REsource REcovery through a smart, circular and integrated solution).” The project aims to revolutionize industrial water management in the EU,...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    This post is based in the Department of Infectious Disease in South Kensington. The post will be jointly supervised between Dr Aran Singanayagam, Dr Anand Shah and Professor Sebastian Johnston. This is a 2-year post funded by the MRC to study mechanisms of susceptibility to respiratory viral infection in the chronic respiratory condition bronchiectasis. We...


  • South Kensington, United Kingdom Imperial College London Full time

    This post (funded by the MARVELS grant, US Army Research Office) will work the development of the electronics support for Hearables, with the aim to investigate the use of Hearables for unobtrusive in-ear detection and extraction of robust and useful indicators of the users physical and mental state in challenging real-world environments. For our recent work...

  • Research Associate

    3 days ago


    South Kensington, United Kingdom Imperial College London Full time

    Producing sustainable materials from widely available and abundant resources is a prerequisite to securing the supply chain needed for building sustainable technologies and reaching the net zero targets for 2050. But how can we best answer the question: “What is truly sustainable and how can it be implemented at the scale needed for decarbonisation?...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    Applications are invited for two Research Associates to investigate pore-to-core characterisation and digital rock modelling to improve the numerical modelling of the flow carbon dioxide flow through saline aquifers for carbon storage underground. The aim is to demonstrate the impact of upscaling CO2 flow in reservoirs, accounting for small scale...

  • Research Associate

    4 weeks ago


    South Kensington, United Kingdom Imperial College London Full time

    We are seeking to appoint a Research Associate to join a world-leading and dynamic research team at the Department of Life Sciences at Imperial College London. You will contribute to a research effort by the laboratory of Dr Angela Meccariello based at Imperial’s South Kensington Campus. The project aims to build and improve CRISPR design engineering,...


  • South Kensington, United Kingdom Imperial College London Full time

    **Duties and responsibilities**: You will play a major role in the design and execution of the project and co-author work. You will also assist with data preparation, merging, modelling, and analysis and will contribute to co-authored journal quality papers as well as coordinating the work of others as required. Based in our Economics & Public Policy...


  • South Kensington, United Kingdom Imperial College London Full time

    **Duties and responsibilities**: This position is open for a research associate (postdoc) to work on synthetic biology with biotechnologically relevant non-conventional organisms. The project combines state of the art technologies including advanced cloning systems and CRISPR tools, and laboratory automation. The project will run in close collaboration with...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    Applications are invited for a Research Associate in Wide Band Gap Gate Driving for Waveform EMI Quietening. **Duties and responsibilities**: - To plan and carry out research in accordance with the project aims and work-plan - To contribute to the timely production of project deliverables - To generate and display results and interpret their implications -...

  • Research Associate

    4 days ago


    South Kensington, United Kingdom Imperial College London Full time

    Applications are invited for a Research Associate position in the Theoretical Physics Group of the Department of Physics at Imperial College London. The position is funded partially by an STFC/EPSRC grant from the call Quantum Technology for Fundamental Physics that is held jointly with University of Edinburgh and partially by an STFC Consolidated Grant. You...


  • South Kensington, United Kingdom Imperial College London Full time

    We are looking for a Research Associate to join a short scoping project as a full time postdoc, starting as soon as possible. Funds are in place for an immediate start. You will have experience using Python and would start by late December. You will be asked to use (invert) a big inventory of existing public health data and our existing Python libraries to...


  • South Kensington, United Kingdom Imperial College London Full time

    The Dyson School of Design Engineering is a leader in research on the design of technologies that support health and wellbeing. The youngest of all Engineering schools at Imperial College, its research has consistently been ranked among the highest, and its teaching quality was rated as excellent in a previous national assessment. An exciting opportunity...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    **Enhancing sleep as a treatment for people living with Alzheimer’s and Parkinson’s disease.** This project will investigate possibilities for enhancing sleep by stimulating novel circuitry using bioelectronic engineering and genetic approaches. These roles are part of the UK Dementia Research Institute at Imperial College London, located in the Dept...

  • Research Assistant

    4 weeks ago


    South Kensington, United Kingdom Imperial College London Full time

    The project team will include Prof Mark O’Malley (Leverhulme Professor), Dr Elina Spyrou (Leverhulme Lecturer), four post-doctoral Research Associates, four pre-doctoral Research Assistants, and four PhD students. The RAs employed within the project will undertake individual research projects leading to a PhD degree. **Duties and responsibilities**: The...


  • South Kensington, United Kingdom Imperial College London Full time

    An exciting opportunity has arisen for a Research Assistant to work under the direction of Dr Stefanos Zafeiriou and Dr. Tolga Birdal. The main aim of the project is to develop next-generation machine learning and computer vision methods for analysis and synthesis of 3D textured data (bodies, hands, faces) using novel non-Euclidean Machine Learning...

  • Managing Associate

    4 weeks ago


    South Kensington, United Kingdom Imperial College London Full time

    An opportunity has arisen for a Managing Associate/Project Manager (equivalent to ‘Associate’ level in transport planning/consultancy) to join the Transport Strategy Centre (TSC) at Imperial College London. The successful applicant will join a globally recognised applied research and consultancy group, focused on public transport with especially relevant...

  • Research Assistant

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    Applications are encouraged for two part time Research Assistant posts within the Centre for Transport Studies, Department of Civil and Environmental Engineering at Imperial College London. The Research Assistant posts will be 10% FTE, fixed term until 30 September 2024; and 20% FTE, fixed term until 31 March 2025. You will work on the ‘Deepsafe’...

  • Research Associate

    1 month ago


    South Kensington, United Kingdom Imperial College London Full time

    **Duties and responsibilities**: **Essential requirements**: **Further information**: The post is available immediately and appointment is for 24 months with a possibility for extension. The post is based in the Department of Chemical Engineering at Imperial College London (South Kensington Campus). Further information about the post is available in the job...

  • System Administrator

    14 hours ago


    Kensington, Merseyside, United Kingdom Business in Heels International Pty Full time

    System Administrator - Scientific Platforms Excited about this role, but not sure if you meet 100% of the criteria? Employers would still love to hear from you. Acknowledgement of Country CSIRO acknowledges the Traditional Owners of the land, sea and waters, of the area that we live and work on across Australia. We acknowledge their continuing connection...