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 (https://scorch-project.github.io/).
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
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.