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: Diversity Dashboard
As a Facilities Assistant with the City of Edinburgh Council, you will enjoy secure and flexible employment in a supportive environment that values your contributions. With opportunities for training and development, you can grow your career while making a positive impact on your community by maintaining essential buildings. The council promotes a diverse and inclusive workforce, ensuring that all employees feel respected and valued.
