Senior Research Associate/Research Fellow In Machine-Checked Cryptography

University Of Bristol; Greater London; On-site; GBP 55,000 - 75,000; Full time

Job summary

The University of Bristol, within its School of Computer Science, invites applications for a Senior Research Associate/Research Fellow in Machine-Checked Cryptography to join the Innovate UK SCHEME project in London. You will lead research on machine-checked cryptography, contribute to publications, and help grow the school's capacity in cryptographic engineering and post-quantum cryptography.

The role is short-term, with collaboration across academic and industrial partners, and focuses on

Qualifications

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

Responsibilities

• 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.

Skills

Collaborative research in cryptography

Machine-checked cryptography

High-assurance systems interest

Job description

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