The closing date for this job has now passed.

Job reference: SAE-017097
Salary: £32,816 to £40,322 per annum (depending on experience)
Faculty/Organisational Unit: Science and Engineering
Location: Oxford Road, Manchester
Employment type: Fixed Term
Division/Team: Computer Science
Hours Per Week: full time
Closing date (DD/MM/YYYY): 08/08/2021
Contract Duration: start after 1st October 2021, ideally 1st January 2022 for (up to) 2 years
School/Directorate: School of Natural Sciences

Job Description

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.

Take a look around the company