University of Bristol

The University of Bristol is hiring a Senior Research Associate or Research Fellow in Machine-Checked Cryptography on a full-time basis in Bristol, England. This is a research-focused role within an academic institution, offering the opportunity to work on formal verification and cryptographic systems at a senior level.

The position offers a competitive salary range of £44,746 to £50,253 per year. This role suits candidates interested in advancing cryptographic research through rigorous mathematical methods and formal verification techniques, combining academic inquiry with practical blockchain and security applications.