Researcher Engineer Formal Verification

Researcher/Engineer (Formal Verification)

Key responsibilities

• Key responsibilities would include a subset of the following, depending on your specific interests and expertise.
• Formalize cryptography that is used in Ethereum. This includes developing new specifications, maintaining libraries such as ArkLib, and working with external collaborators to verify optimizations and other implementation details which are used in practice.
• Investigate the development and verification of MLIR dialects for cryptography and zkVMs.
• mprovements to tooling and the use of AI for the above.
• Assist the zkEVM Formal Verification effort.
• Collaborate with other teams at the EF (e.g. Cryptography, zkEVM).
• Stay at the forefront of relevant developments in cryptography, implementations, and formal verification.
• Document and communicate your work, and contribute to the broader high assurance cryptography ecosystem.

Required skills and/or experience

• Relevant academic and/or professional background. You should be able to evidence skills related to your future work at the EF; in particular, practical knowledge of cryptography and/or the implementation stack, as well as proof assistants (Lean is preferred) and other formal verification tools applied to cryptography. Past contributions to open source projects is a plus.
• Curiosity and a willingness to keep learning.
• Excellent communication and collaboration skills. You should be able to communicate and communicate with other teams at the EF as well as with external organisations.
• The ability to work effectively as part of a team in a fully remote, distributed and asynchronous organization.
• Interest in and familiarity with Ethereum as a whole. Although you might not work across the entire Ethereum stack, you should not feel like a fish out of water at Ethereum events.