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
Ethereum Formal Verification Research Associate in Manchester employer: The University of Manchester
The University of Manchester is an excellent employer, offering a vibrant work culture that values diversity and inclusivity. As a Sport Centre Assistant, you'll enjoy flexible shifts while contributing to a dynamic environment that prioritises high-quality experiences for all users. With ample opportunities for personal and professional growth, working at our esteemed institution allows you to make a meaningful impact in the community.
Contact Details:
The University of Manchester Recruitment Team
