Accessibility Tools

Job details

Research Associate in Automated Verification of CHERI C++ Programs
Oxford Road, Manchester

Job reference: SAE-017097

Location: Oxford Road, Manchester

Closing date (DD/MM/YYYY): 08/08/2021

Salary: £32,816 to £40,322 per annum (depending on experience)

Employment type: Fixed Term

Faculty/Organisation: Science and Engineering

Division: Computer Science

Hours per week: full time

Contract Duration: start after 1st October 2021, ideally 1st January 2022 for (up to) 2 years

School / Directorate: School of Natural Sciences

With its focus on real-world security through cutting-edge DSbD technology, this position is a unique opportunity to make a real impact, advance state-of-the-art in applied software verification research, and join a top-class team of collaborators. The role also offers an outstanding opportunity for career development that is equally well-suited to an academic or industrial research path or subsequent work as a software verification engineer in the industry.

You will be a member of the Soteria team, working closely with Dr Lucas Cordeiro, Dr Giles Reger, and Dr Konstantin Korovin at Manchester. The ideal candidate will research and apply novel formal software verification theories, methodologies on components of innovative DSbD technology being developed in the project. In particular, we will extend the Efficient SMT-based bounded model checking (ESBMC) tool with a Clang C++ frontend, new operational models reflecting the Morello architecture, new analyses for the modified notion of memory safety and compartmentalisation requirements, and further extensions to improve their applicability in the industrial context.

As a result, you will collaborate with researchers at the University of Manchester, designing the Soteria project's central software and hardware components. The post holder will also closely interact with the research term at THG, who will execute a technically innovative and novel evaluation strategy for the technology aimed at real-world impact.

The School/Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The School/Department holds a Bronze Award for their good practice in relation to gender; including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a god work-life balance. We positively welcome applications from women for this post. All appointments will always be made on merit.

 For further information, please visit:

Blended working arrangements may be considered          

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.

Enquiries about the vacancy, shortlisting and interviews:

Name: Dr Lucas Cordeiro


General enquiries:


Technical support:

This vacancy will close for applications at midnight on the closing date.

Please see the link below for the Further Particulars document which contains the person specification criteria.


The closing date for this job has now passed.