Senior Formal Verification Engineer

At Nexus, our mission is to enable general-purpose verifiable computing. That is, we wish to prove the correct execution of any computer program, regardless of the choice of programming language, computer architecture, or even the size of the computation.

To do so, we are building a machine powered by the latest in recursive zero-knowledge proofs, which can generate, aggregate, and compress proofs for any machine execution.

Nexus originated at Stanford University, and is backed by a suite of world-class investors including Dragonfly, Alliance, SV Angel and others. We believe in Ethereum’s values and cherish freedom, ownership, and meritocracy.