Hiring: Senior Software Engineer, Formal Verification Company: Category Labs Location: New York, NY Job Posted Time: 2026-09-13 13:53:08 Employment Type: Full-time Target Skills & Keywords : Blockchain, C++, Embedded Systems, Ethereum, GitHub About the job Experience: •5 years of software engineering experience in C++, much of it building performant systems from scratch – databases, device drivers, embedded systems, or the like. •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. Required Skills: •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. Qualifications: •You have 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. •You have hands-on experience with an interactive theorem prover, ideally Rocq (formerly Coq), and can write machine-checked proofs about real, running code. •You reason about concurrency and memory with a rigor most engineers never need – and you're drawn to problems where "probably correct" isn't good enough. •You have sharp instincts for software architecture, memory management, and performance profiling. •You hold a Bachelor's, Master's, or PhD in Computer Science, or have equivalent experience. •You communicate clearly and thrive on a small team where everyone owns the result. Compensation: •$180,000 - $250,000 / year Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don't miss this opportunity to join a forward-thinking team!