Senior Software Engineer, Formal Verification

Category Labs

Senior Software Engineer proving the correctness of the Monad implementation. Involves writing machine-checked proofs in C++ and collaborating with a high-performing team.

Posted 6/18/2026full-timeRemote • New York • 🇺🇸 United StatesSenior💰 $180,000 - $250,000 per yearWebsite

About the role

Key responsibilities & impact

Formally verify the highest-risk parts of the Monad implementation
Build and refine Rocq models of system designs and prove C++ implementation
Develop specifications and weakest-precondition proofs for production C++
Strengthen theorem statements and proof automation

Requirements

What you’ll need

At least 5 years of software engineering experience in C++
Hands-on experience with an interactive theorem prover, ideally Rocq
Strong reasoning about concurrency and memory management
Experience with performance profiling
Bachelor's, Master's, or PhD in Computer Science or equivalent experience
Clear communication and ability to thrive in a small team

Benefits

Comp & perks

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
401(k) with company match
Lunch and dinner stipend (in-office NYC)

ATS Keywords

✓ Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

C++theorem provingRocqperformance profilingweakest-precondition proofsformal verificationconcurrency reasoningmemory management

Soft Skills

clear communicationteam collaboration

Certifications

Bachelor's in Computer ScienceMaster's in Computer SciencePhD in Computer Science