Ethereum Formal Verification Research Associate
Listed on 2026-10-16
-
Research/Development
The University of Manchester invites applications for a Research Associate in Ethereum within the Department of Computer Science, School of Engineering, Systems and Software Security Group.
The role focuses on designing and building AI agents and verification engines for formal verification and automated testing of Ethereum consensus specifications, contributing to the project “Bounded Model Checking for Verifying and Testing Ethereum Consensus Specifications”.
This is an excellent role to take on the Ethereum Formal Verification Research Associate role at The University of Manchester.
The Ethereum Formal Verification Research Associate role at The University of Manchester is now open for applications in Manchester, England, United Kingdom.
Join us at The University of Manchester as our next Ethereum Formal Verification Research Associate in Manchester, England, United Kingdom.
We are currently recruiting a Ethereum Formal Verification Research Associate for our team in Manchester, England, United Kingdom.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).