Research Associate in Ethereum

The University of Manchester

Posted: 1 October 2026 - Manchester, United Kingdom

View on jobs.manchester.ac.uk Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

Join our team as a Research Associate in Ethereum, where you will contribute to research on AI agents and verification engines for Ethereum consensus specifications. This role involves extending Python frontends, designing new verification techniques, and developing workflows for test generation. We welcome diverse candidates with a PhD in computer science or related fields, strong programming skills, and knowledge of formal verification techniques.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.
  • Reference: SAE-032448
  • Role: research associate
  • Employment type: full time
  • Research field: computerscience
  • Research topic: formal verification
  • Application deadline: 15 October 2026

Related openings

More at The University of Manchester More in United Kingdom More in computerscience More about formal verification Browse all open jobs