Description:

The Proofs team is seeking an experienced software engineer to develop infrastructure for secure and permissionless withdrawal of funds from OP Stack chains and the Superchain.
The role involves evolving the Optimism fault proof system to support “stage 2” decentralization with multiple proof systems, including ZK validity proofs.
Responsibilities include evolving the proof system to meet stage 2 requirements using dispute games and/or validity proofs.
The engineer will contribute to Go-based and possibly Rust-based Ethereum and OP Stack infrastructure, such as Cannon, the Fault Proof VM.
Collaboration with other teams and disciplines within OP Labs, as well as with external developers and partners, is expected.

Requirements:

Candidates must have proven experience developing in Go, Rust, or a similar programming language.
A background in blockchain development is required.
Experience in systems programming, particularly in developing low-level software such as virtual machines, interpreters, or compilers, is essential.
Excellent written and verbal communication skills are necessary for documenting technical details and collaborating effectively with team members.
A strong understanding of cryptographic principles is required.
Experience with Zero Knowledge Proofs or ZK VMs is considered a nice-to-have.

The company offers competitive compensation, fully paid medical, dental, and vision insurance, and a 4% 401K match.
Employees are supported in achieving their best work, with a focus on team accomplishments.
The team values diversity and considers it a strength, fostering an inclusive environment.
The position is fully remote, with a team that is engaged, highly skilled, and enjoys a fun work atmosphere.
The company has a long-term vision, with founders who have been scaling Ethereum since 2015.