Research Associate in Ethereum
- Location
- Manchester, England, United Kingdom
verbal communication skills Desirable Criteria Experience with bounded model checkers such as ESBMC, CBMC, or similar tools Familiarity with the Ethereum consensus specification or blockchain protocols more broadly Track record of peer-reviewed publications in formal methods, software testing, or AI Experience with coverage-guided test generation or fuzzing Familiarity ...