Jobs / Cat***
Senior Software Engineer, Formal Verification
Cat*** · United States
Visa sponsorship details are locked. Unlock company name and apply link with .
United States180,000-250,000 USD/yearlyOnsite
Remuneration
180,000-250,000 USD/yearly
Location
United States
Visa sponsorship
Sponsors visa
Job summary
Cat*** (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to deliver significant improvements over existing blockchain solutions. After raising $225M in series A funding, led by Paradigm, we are growing our team.
Benefits
Compensation: You’ll receive a competitive salary and equity package.The base salary range for this role is $180,000 – $250,000.This reflects the minimum and maximum range across US locations.It does not includeToken, or equity incentives.The final offer may vary based on factors such as relevantFor all Full-Time Employees:Private health insurance optionsFlexible paid time offMonthly wellness reimbursementPaid parental leaveFor US employees:
Qualifications
- WHO YOU ARE
- 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 Rocq), and can write machine-checked proofs about real, running code.
- 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.
- Cat*** is an Equal Employment Opportunity (EEO) employer and welcomes all qualified applicants.
- Applicants will receive fair and impartial consideration without regard to race, sex, color, religion, national origin, age, disability, veteran status, genetic data, or other legally protected status.
- Compensation Range: $180K - $250K
Degrees
AssociateBachelorMasterPhD
Industry
AutomotiveGamingInsurance
Contract length
5 years