Senior Research Associate​/Research Fellow In Machine-Checked Cryptography

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.

Senior Research Associate/Research Fellow in Machine-Checked Cryptography London, GB