Company: University of Manchester
Location: Manchester
Job Description:
The University of Manchester invites applications for a Research Associate in Ethereum to design and build AI agents and verification engines for formal verification of Ethereum consensus specifications. This post sits in the Department of Computer Science, within the S3 Research Group led by Dr.
Lucas Cordeiro. The role involves extending ESBMC’s Python frontend, developing bounded model checking techniques, and producing research articles on verification, AI agent design, and test generation
#J-18808-Ljbffr…
Posted: October 3rd, 2026