University of Bristol
Senior Research Associate/Research Fellow in Machine-Checked Cryptography
Get notified of more jobs like this · No spam, ever
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
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.
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
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/
Get help with your application
Your very own career expert that helps elevate your application to the next level.
Contract type
Fixed Term until 30/04/2027 (specialist skills)
Work pattern
Full-time
Hybrid working available
Yes
Grade
J or K/ Pathway 2
Salary
£44,746-£50,253 or £51,753-£58,225 per annum/appointment at grade depending on experience
School/Unit
School of Computer Science
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.
Available documents
- ACAD108691_Research_Fellow_Job_Description.pdf
- Faculty of Science & Engineering Further Particulars 2024-25.pdf
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills