Senior Research Associate/Research Fellow in Machine-Checked Cryptography

The role

Within the School of Computer Science at the University of Bristol (UoB), the Cryptography research group fosters an internationally leading and inter-disciplinary programme of research; current and previous work spans the full range of theoretical and practical aspects relating to cryptography, applied cryptography, and cryptographic engineering. This research-focused post represents an exciting opportunity to join the group as part of an Innovate UK funded project (and thus wider consortium of academic and industrial partners), whose central focus is development of a RISC-V based micro-processor tailored to the needs of the aerospace industry (e.g., for use in engine control systems).

What will you be doing?

The main purpose of the role is to conduct (or lead) research in machine-checked cryptography as part of the Innovate UK-funded SCHEME project, contributing to the overall project objectives and continuing the project's track record of publications in top cryptographic engineering venues. A secondary purpose is to improve the School's research capacity in the field of machine-checked cryptography, and the associated fields of cryptographic engineering and post-quantum cryptography. 

You should apply if

You have:

• A demonstrated ability to carry out (or lead) collaborative research in cryptography and security;
• A demonstrated expertise in machine-checked cryptography, and some of its techniques and tools;
• An interest in high-assurance systems, beyond machine-checking.

Given the short duration of the role, there will be little opportunity to train the successful applicant on technical aspects of the role.

Additional information

To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog:

https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/

Contract type: Fixed Term until 30/04/2027 (specialist skills)

Work pattern: Full-time

Hybrid working available: Yes

This advert will close at 23:59 UK time on Monday 21st September 2026

The interviews are anticipated to take place week commencing 28/09/26

For informal queries please contact: François Dupressoir, Associate Professor in Cryptography Tel: +441173315200 Email: f.dupressoir@bristol.ac.uk

Our strategy and mission

We recently launched our strategy to 2030 tying together our mission, vision and values.

Advert information