Accessibility Tools

Job details

Research Associate in Formal Analysis of Secure Hardware (2 posts available)
Oxford Road, Manchester

Job reference: SAE-015607

Location: Oxford Road, Manchester

Closing date (DD/MM/YYYY): 17/09/2020

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: Starting as soon as possible for 36 months

School / Directorate: School of Engineering

Two positions are available for outstanding and ambitious researchers to undertake research in the fields of bounded model checking, runtime verification, and automated reasoning applied to the verification of software running on secure hardware. This work will be carried out within the SCorCH project (

For the positions, you should have, or be about to obtain, a PhD or equivalent in a relevant area. Furthermore, the positions require expertise in specific techniques and theory (see job description) as well as strong coding skills.

The School is committed to promoting equality and diversity, including the Athena SWAN charter for promoting women’s careers in STEMM subjects (science, technology, engineering, mathematics and medicine) in higher education. The School holds a Bronze Award for their commitment to the representation of women in the workplace and we particularly welcome applications from women for this post. All appointments will be made on merit. For further information, please visit:     

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 Giles Reger


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.