Senior Software Engineer, Formal Verification

🕒 June 18

🗽 New York – Remote

🗽 New York – Remote

💵 $180k - $250k / year

⏰ Full Time

🟠 Senior

🧑‍💻 Full-stack Engineer

👻 Ghost score 26%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

Category Labs

WebsiteLinkedInAll Job Openings

51 - 200 employees

Founded 2022

₿ Crypto

💳 Fintech

Crypto • Fintech

Category Labs is a company focused on building high-performance decentralized systems and next-generation blockchain infrastructure. With a team comprised of experts from high-frequency trading, Category Labs designs scalable solutions for complex challenges in decentralized technology. The company is known for its Monad blockchain, which is EVM-compatible and capable of handling 10,000 transactions per second with minimal hardware requirements.

📋 Description

• 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

• 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

• 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)