Senior Software Engineer, Formal Verification

Category Labs

1d • $180,000 - $250,000

About The Position

Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers focused on advancing decentralized technology. We are dedicated to creating significant improvements over existing blockchain solutions and are expanding our team following a $225M Series A funding round led by Paradigm. We are the developers behind Monad, a high-performance, EVM-compatible Layer 1 blockchain with a live public mainnet. Our work involves developing the core software, including a parallel-execution EVM, a custom state database, and a BFT consensus client, all of which are developed openly.

Requirements

• At least 5 years of software engineering experience in C++, much of it building performant systems from scratch – databases, device drivers, embedded systems, or the like.
• Hands-on experience with an interactive theorem prover, ideally Rocq (formerly Rocq), and can write machine-checked proofs about real, running code.
• Ability to reason about concurrency and memory with rigor.
• Sharp instincts for software architecture, memory management, and performance profiling.
• Bachelor's, Master's, or PhD in Computer Science, or equivalent experience.
• Clear communication skills and ability to thrive on a small team where everyone owns the result.

Responsibilities

• Formally verify the highest-risk parts of the Monad implementation, including concurrent and parallel execution logic.
• Build and refine Rocq models of system designs, then prove the C++ implementation equivalent to those models, catching design and implementation bugs before they reach main.
• Develop specifications and weakest-precondition proofs for production C++ using BRiCk and Iris separation logic.
• Strengthen theorem statements and proof automation, and devise approaches that scale verification to a fast-moving codebase.

Benefits

• Competitive salary and equity package
• Private health insurance options
• Flexible paid time off
• Monthly wellness reimbursement
• Paid parental leave
• World-class benefits package with 100% paid medical, dental, and vision insurance including 75% coverage for dependents and HSA + FSA options (US employees)
• 401(k) with company match (US employees)
• Lunch and dinner stipend (in-office NYC)

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Education Level: High school or GED