2 of 2 Permanent Ethereum Jobs in the North of England

seeking a motivated and collaborative individual to join our team as a Research Associate in Ethereum . This role offers an exciting opportunity to contribute to research within a dynamic and inclusive environment. The post holder will design and build AI agents and verification engines for the formal verification … automated testing of Ethereum consensus specifications, as part of the project “Bounded Model Checking for Verifying and Testing Ethereum Consensus Specifications”. The successful candidate will join the Department of Computer Science within the School of Engineering, working in the Systems and Software Security (S3) Research Group led by Dr. ...

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 ...