Funded Phd Position in program Analysis, Verification or Systems
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.
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 email@example.com. For further information see srg.doc.ic.ac.uk
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.
- Offered SalaryNot Specified
- Career LevelNot Specified
- ExperienceNot Specified
- QualificationMaster's Degree(M.Sc.)
Related Jobs (35)
- Quality Assurance Engineer Jobs at H huex Pvt Ltd in Colombo, Sri Lanka on November 3, 2023 Full-Time
- Quality Assurance Lead Jobs at OREL IT in Colombo, Sri Lanka on November 3, 2023 Full-Time
- Full-stack PHP Developer Jobs at Scopic Software in Sri Lanka on November 3, 2023 Full-Time
- Senior Software Engineer Jobs at QrioMatrix in Colombo, Sri Lanka on November 3, 2023 Full-Time
- Senior Software Engineer Jobs at CreativeHub in Colombo, Sri Lanka on November 3, 2023 Full-Time
- Senior Software Engineer Jobs at Saberion in Colombo, Sri Lanka on November 3, 2023 Full-Time