Postdoctoral position in Software Systems and Program Analysis

Fixed Term appointment for up to 3 years

Applications are invited for a postdoctoral position in the Software Reliability Group, under the direction of Dr. Cristian Cadar.

We are looking for motivated applicants interested in working at the intersection of software systems and program analysis. The research will focus on improving software reliability and security by analysing and combining, in novel ways, multiple versions of an application. The Mx project describes one example of work in this area.

Candidates should be motivated to work at the intersection of software systems and program analysis. To apply, you will need to have a strong computing or engineering background, experience in building and working with large software systems and tools, and proven knowledge in at least one of the following areas:

  • computer systems
  • software engineering
  • program analysis

You must have a PhD (or equivalent) in an area pertinent to the subject area, i.e. Computing or Engineering. Candidates close to completion of their PhD will also be considered, but will be initially appointed as Research Assistant within the salary range £29,350 - £32,520 per annum.

You will have excellent communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines. Preference will be given to applicants with a proven research record and publications in the relevant areas. All applicants must be fluent in spoken and written English.

The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities. The department has been awarded the top rating (5*) 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.

For informal inquiries about this position please contact Dr. Cristian Cadar. For further information on the Software Reliability Group and related projects see http://srg.doc.ic.ac.uk/.

How to apply

Our preferred method of application is online. We will post application instructions on this webpage shortly.

Our preferred method of application is online via our website at: http://www3.imperial.ac.uk/employment (please select “Job Search” then enter the job title or vacancy reference number EN20140329SF into “keywords”). Please complete and upload an application form as directed.

Applications must include the following:

  • A college application form. Please quote job reference number EN20140329SF on the application form

  • A full CV including a publication list

  • A two-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant

  • Transcripts of all degree results

  • The names and contact information of two or three referees who can provide letters of recommendation

Should you have any queries regarding the application process please contact Sarah Willis, Administrative Assistant, at s.willis@imperial.ac.uk.

Committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.