1 of 1 Remote/Hybrid 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. ...