Research Associate in Program Analysis or Systems

Job summary

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

Job listing information

  • Reference ENG02097
  • Date posted 28 June 2022
  • Closing date 15 September 2022

Job description

Job summary

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.

We welcome two types of applications. On the program analysis side, we expect a strong background in program analysis and at least one publication in top venues in software engineering (particularly ICSE, ESEC/FSE, ASE, ISSTA), programming languages (particularly ASPLOS, PLDI, OOPSLA), or 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 KATCH, Chopper and Loop Summaries projects.

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.* *Candidates close to completion of their PhD will also be considered, but will be initially appointed as a Research Assistant within the salary range £36,045 - £39,183 per annum.

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

Further information

Full-time, Fixed term to start ASAP for 12 months, with the possibility of 12-month extension

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  

If your application is shortlisted, you will be invited for an interview and asked to solve a practical task.

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 therefore advisable that you submit your application as early as possible to avoid disappointment.

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

Documents

About Imperial College London

Imperial College London is the UK’s only university focussed entirely on science, engineering, medicine and business and we are consistently rated in the top 10 universities in the world.

You will find our main London campus in South Kensington, with our hospital campuses located nearby in West and North London. We also have Silwood Park in Berkshire and state-of-the-art facilities in development at our major new campus in White City.

We work in a multidisciplinary and diverse community for education, research, translation and commercialisation, harnessing science and innovation to tackle the big global challenges our complex world faces.

It’s our mission to achieve enduring excellence in all that we do for the benefit of society – and we are looking for the most talented people to help us get there.

Additional information

Please note that job descriptions cannot be exhaustive, and the post-holder may be required to undertake other duties, which are broadly in line with the above key responsibilities.

Imperial College is committed to equality of opportunity and to eliminating discrimination. All employees are expected to follow the Imperial Values & Behaviours framework. Our values are: 

  • Respect              
  • Collaboration
  • Excellence          
  • Integrity
  • Innovation

In addition to the above, employees are required to observe and comply with all College policies and regulations.

We are committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment for all. We therefore encourage candidates to apply irrespective of age, disability, marriage or civil partnership status, pregnancy or maternity, race, religion and belief, gender reassignment, sex, or sexual orientation. We are an Athena SWAN Silver Award winner, a Disability Confident Leader and a Stonewall Diversity Champion.

For technical issues when applying online please email support.jobs@imperial.ac.uk.