Funded Phd Position in program Analysis, Verification or Systems – Department of Computing – Imperial College London Address South Kensington Campus – UK.

Application deadline date has been passed for this Job.
  • Post Date: October 15, 2021
  • Applications 0
  • Views 229
Job Overview

Funded Phd Position in program Analysis, Verification or Systems

Global Conflict Verification Systems Market 2021: Growth Factors,  Application Analysis, And Future Outlook 2030

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 Dr. 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 disciplines, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

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 

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 our PhD page for general information on becoming a PhD student in the Department of Computing.

We are 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. We encourage applicants from underrepresented backgrounds to apply.




                   APPLY NOW                  


Job Detail
  • Offered SalaryNot Specified
  • Career LevelNot Specified
  • ExperienceNot Specified
  • GenderBoth
  • INDUSTRYEducation
  • QualificationMaster's Degree(M.Sc.)
Shortlist Never pay anyone for job application test or interview.