Researcher/Engineer (Formal Verification) - Remote

Overview

As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by specifying and verifying core cryptographic components of proof systems within the Ethereum ecosystem.

In Short

• Work on formalizing cryptography used in Ethereum.
• Develop new specifications and maintain libraries.
• Investigate the development of MLIR dialects for cryptography.
• Improve tooling and utilize AI for cryptographic verification.
• Assist in zkEVM formal verification efforts.
• Collaborate with other teams at the Ethereum Foundation.
• Stay updated on developments in cryptography and formal verification.
• Document and communicate your work effectively.
• Contribute to the high assurance cryptography ecosystem.

Requirements

• Relevant academic or professional background in cryptography.
• Practical knowledge of implementation stack and proof assistants.
• Curiosity and a willingness to learn continuously.
• Excellent communication and collaboration skills.
• Ability to work effectively in a fully remote environment.
• Interest in Ethereum and familiarity with its ecosystem.

Benefits

• Opportunity to work on cutting-edge cryptographic technologies.
• Flexible working arrangements in a remote setting.
• Collaborative and innovative team environment.
• Engagement with the broader Ethereum community.
• Potential for personal and professional growth.