Research Associate in Program Analysis or Systems - South Kensington, United Kingdom - Imperial College London

Imperial College London

Verified Company

South Kensington, United Kingdom

3 weeks ago

Posted by:

Tom O´Connor

beBee Recruiter

Description

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: