Category Labs
51 - 200 employees
Founded 2022
₿ Crypto
💳 Fintech
Blockchain • 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
Job not on LinkedIn
🔥 4 minutes ago
📊 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
Blockchain • 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
🔥 9 minutes ago
Full-stack engineer developing AI-native applications that address business challenges for clients at phData. Collaborating closely with business stakeholders to achieve measurable outcomes and engineer impactful solutions.
🇺🇸 United States – Remote
💰 $2.5M Seed Round on 2018-03
⏰ Full Time
🟡 Mid-level
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
🔥 13 minutes ago
DoubleVerify
501 - 1000
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
Distributed Systems
Kubernetes
Python
SQL
🔥 16 minutes ago
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
Apache
AWS
Cloud
Distributed Systems
Java
Kafka
Spring
Spring Boot
SpringBoot
🔥 22 minutes ago
Senior Full Stack Software Developer at LivePerson creating innovative conversational AI solutions. Focused on delivering excellent user experiences and robust software architecture in a remote environment.
🇺🇸 United States – Remote
💵 $130k - $160k / year
💰 $2.3M Post-IPO Equity on 2012-06
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
Angular
AWS
Azure
Cloud
Google Cloud Platform
JavaScript
Jest
Kubernetes
Microservices
Mocha
MongoDB
Node.js
TypeScript
Vue.js
🔥 1 hour ago
Sr. Software Engineer at Home Depot responsible for developing and redesigning software. Collaborates with a dynamic team and mentors junior engineers in technical discussions.
🇺🇸 United States – Remote
💵 $90k - $170k / year
💰 Debt Financing on 2007-07
⏰ Full Time
🟠 Senior
🧑💻 Full-stack Engineer
Cloud
Java
JavaScript
NoSQL
TypeScript
