hero

Work at a Portfolio Company

Senior Formal Verification Engineer

NEXUS

NEXUS

San Francisco, CA, USA · Remote
Posted on Friday, September 1, 2023

Senior Formal Verification Engineer

Location
San Francisco
Remote

Nexus Labs

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.

Apply

Reach out — jobs@nexus.xyz