About the company
The Ethereum Foundation (EF) is a non-profit organization dedicated to supporting Ethereum and related technologies. The EF is not a company, or even a traditional non-profit. We do not control Ethereum, nor are we the only organization that funds critical development of Ethereum-related technologies. We are part of a large ecosystem of organizations, individuals, and companies that support Ethereum. Our mission is to do what is best for Ethereumās long-term success. Our role is to allocate resources to critical projects, to be a valued voice within the Ethereum ecosystem, and to advocate for Ethereum to the outside world. Since 2014, EF has hosted Devcon, an annual 4-day conference which has become the oldest and most prominent event in the Ethereum community (and arguably the entire blockchain space). The event attracts developers, designers, researchers, creators, and others ā many of whom are intrigued by cutting-edge technology, decentralization, privacy/security, free and open-source software, and the potential for Ethereum to change the world for the better. For a look at past Devcon editions and their speakers, see here: http://archive.devcon.org/. Devcon 7 (aka Devcon Southeast Asia) will take place this year in Bangkok between the dates of 12-15 November.
Job Summary
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.
If youāre passionate about blockchain and decentralized technologies, explore more opportunities in web3 and cryptocurrency careers.
