University of Birmingham Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Warwick Featured PhD Programmes
Imperial College London Featured PhD Programmes
Life Science Zurich Graduate School Featured PhD Programmes

Funded PhD position in Program Analysis, Verification or Systems

  • Full or part time
  • Application Deadline
    Tuesday, June 30, 2020
  • Funded PhD Project (Students Worldwide)
    Funded PhD Project (Students Worldwide)

Project Description

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD position in the Software Reliability Group, under the supervision of Professor Cristian Cadar.
We are looking for motivated applicants interested in pursuing a PhD degree in program analysis, verification or software systems. 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.
To apply, you will need to have a good background in compilers and/or operating systems and experience in building and working with large software systems and tools. You are expected to familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the KATCH and Shadow projects on the program analysis and verification side, and the Varan and Mvedsua projects on the systems side.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must have excellent verbal and written communication skills.
The position is fully funded, covering tuition fees, travel funds and a competitive stipend/bursary. The position is available to home, EU and overseas students.

How to apply

To apply for this position, please follow the application guidelines at:

In the application form, please write Program Analysis, Verification or Systems in the “Proposed Research Topic” field, and Dr. Cristian Cadar in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to . For further information see

This position will be based at the South Kensington campus in central London, next to Hyde Park and the museums of South Kensington.
Applicants are advised to visit for general information on becoming a PhD student in the Department of Computing.

Related Subjects

How good is research at Imperial College London in Computer Science and Informatics?

FTE Category A staff submitted: 49.45

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully

FindAPhD. Copyright 2005-2019
All rights reserved.