Company: Diversity Dashboard
Location: Manchester
Job Description:
University of Manchester invites applications for a Research Associate in Ethereum to join the Systems and Software Security (S3) Research Group. You will design and build AI agents and verification engines for the formal verification and testing of Ethereum consensus specifications.
Based in Manchester, you will collaborate with Dr. Lucas Cordeiro and contribute to advancing bounded model checking techniques, document results, and publish in security and software engineering venues.
#J-18808-Ljbffr…
Posted: October 5th, 2026