University of Edinburgh Featured PhD Programmes
Peter MacCallum Cancer Centre Featured PhD Programmes
University of Glasgow Featured PhD Programmes

Funded PhD position in Program Analysis, Verification or Systems

Department of Computing

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
Dr C Cadar No more applications being accepted

About the Project

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 [Email Address Removed]. 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.

FindAPhD. Copyright 2005-2021
All rights reserved.