Back to search results

Research Associate in Program Analysis or Systems

Imperial College London - Department of Computing

Location: London
Salary: £43,093 to £50,834 per annum*
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 22nd March 2023
Closes: 25th May 2023
Job Ref: ENG02467
 

South Kensington Campus

Full-time, Fixed term to start ASAP for 12 months

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. 

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 £38,194 - £41,388 per annum.

How to apply

To apply visit: https://www.imperial.ac.uk/jobs/ and search using vacancy reference number ENG02467, 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 advisable that you submit your application as early as possible.

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

Closing Date: 25th May 2023 (midnight)

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

Job tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
More jobs from Imperial College London

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge