Software Engineer – Formal Verification
| Company | Nexus |
|---|---|
| Location | San Francisco, CA, USA |
| Salary | $Not Provided – $Not Provided |
| Type | Full-Time |
| Degrees | |
| Experience Level | Mid Level, Senior |
Requirements
- Experience with proof assistants like Coq, Lean, Isabelle, F*, K, or equivalent.
- Familiarity with formal methods applied to blockchains, distributed systems, or cryptographic protocols.
- A deep curiosity about correctness and mathematical guarantees.
- Comfort working alongside research and engineering teams.
- Embrace AI as a core part of how you work, think, and build.
Responsibilities
- Apply formal verification to the zkVM, Layer 1 consensus, and core protocol libraries.
- Collaborate with cryptographers and engineers to model and verify core primitives.
- Analyze vulnerabilities in other protocols and proactively guard against them.
- Ensure correctness in a modular, evolving codebase without slowing innovation.
Preferred Qualifications
- Research experience in formal verification for cryptographic or blockchain protocols.
- Contributions to open-source formal verification tools.