Company: The University of Manchester
Location: Manchester
Job Description:
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”.
#J-18808-Ljbffr…
Posted: October 16th, 2026