Senior Research Associate/Research Fellow in Machine-Checked Cryptography

As a Senior Research Associate or Research Fellow in the Cryptography research group at the University of Bristol, you will conduct or lead research in machine-checked cryptography as part of the Innovate UK-funded SCHEME project. This project develops a RISC-V based micro-processor tailored to the aerospace industry, such as for use in engine control systems. You will contribute to the project's objectives and maintain its track record of publications in top cryptographic engineering venues, while also strengthening the School's research capacity in machine-checked cryptography, cryptographic engineering, and post-quantum cryptography.

What you'll do

• Conduct or lead research in machine-checked cryptography within the SCHEME project
• Contribute to project objectives and publish findings in top cryptographic engineering venues
• Improve the School's research capacity in machine-checked cryptography and related fields

What you bring

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

What we offer

• Salary of £44,746-£50,253 (Grade J) or £51,753-£58,225 (Grade K) per annum, depending on experience
• Fixed-term contract until 30 April 2027
• Full-time position with hybrid working available
• Research environment within an internationally leading cryptography group

About University of Bristol

The University of Bristol's School of Computer Science houses an internationally leading and inter-disciplinary Cryptography research group spanning theoretical and practical cryptography, applied cryptography, and cryptographic engineering.