Researcher/Engineer (Formal Verification)

As a member of the Protocol Snarkification team, you will contribute to snarkifying Ethereum by specifying and verifying the core cryptographic components of proof systems and their implementation in the Ethereum ecosystem. Key responsibilities include formalizing cryptography used in Ethereum, investigating the development and verification of MLIR dialects for cryptography and zkVMs, assisting the zkEVM Formal Verification effort, collaborating with other teams at the EF, staying at the forefront of relevant developments in cryptography, and documenting your work. Required skills include practical knowledge of cryptography, proof assistants (Lean is preferred), and formal verification tools. Curiosity, excellent communication skills, and familiarity with Ethereum are also important.