Category Labs
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.
Senior Software Engineer, Formal Verification
🕒 June 18
📊 Check your resume score for this job
Improve your chances of getting an interview by checking your resume score before you apply.
Category Labs
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)
Apply NowSimilar Jobs
🕒 June 18
Sr. Software Engineer II at DoubleVerify designing AI systems and building end-to-end automations for marketing intelligence. Collaborating with various teams to enhance client experience and operational efficiency.
🇺🇸 United States – Remote
💵 $107k - $193k / year
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
🕒 June 18
Senior Software Engineer II at Life360 developing AI-native backend infrastructure for experimentation and machine learning. Collaborating with teams to enhance services for millions of users.
🇺🇸 United States – Remote
💵 $118.5k - $216.5k / year
💰 Post-IPO Equity on 2022-11
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
🕒 June 18
Software Engineer II developing scalable backend services for Upstart's AI lending platform. Collaborating across teams to enhance communication and engagement with customers while driving impactful data solutions.
🇺🇸 United States – Remote
💵 $166.9k - $230.9k / year
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
🕒 June 18
Engineering Leader setting the technical strategy for natural gas power generation projects. Managing a multidisciplinary engineering team for scalable clean energy solutions across various project stages.
🇺🇸 United States – Remote
💵 $221k - $260k / year
💰 $2.4G Debt Financing on 2022-09
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
🕒 June 18
Reverse Logistics Technical Lead at Wing leading technical projects for drone refurbishment processes. Collaborating cross-functionally and optimizing reverse logistics operations in a remote setting.
🇺🇸 United States – Remote
💵 $159k - $212k / year
💰 Corporate Round on 2019-03
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
