Protocol Snarkification Intern

As part of our mission to advance blockchain systems, interns will contribute to bleeding edge research that spans computer science, distributed systems, crypto-economics, and mechanism design. This program offers a unique opportunity to work closely with Ethereum Foundation researchers, their collaborators, and other contributors across the ecosystem, tackling both foundational and applied research challenges. Interns will also have opportunities to share their findings through ethresear.ch , academic publications, or conference submissions helping shape the future of Ethereum. The Protocol Snarkification is a research team dedicated to snarkifying the Ethereum protocol, alongside the Cryptography and zkEVM teams. The team currently handles the verified-zkevm.org effort to formally verify zkVMs, which oversees the formal verification of zkVM circuits, the EVM implementation that is used on zkVMs, and developing formal executable specifications alongside formalized security proofs for the proof systems used by zkVMs, and will be growing our internal capacity along these lines as the team grows.