Senior Research Fellow: 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

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