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
AI-Driven Ethereum 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
