Category Labs logo
Category Labs

Complex systems, incredibly fast.

Senior Software Engineer, Formal Verification

Full-stack EngineerSoftware EngineerFull TimeRemoteSeniorTeam 51-200Since 2022H1B No SponsorCompany SiteLinkedIn

Location

New York

Posted

2 days ago

Salary

$180K - $250K / year

Seniority

Senior

Bachelor Degree5 yrs expEnglish

Job Description

Senior Software Engineer, Formal Verification

Category Labs

• 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

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

Related Job Pages

More Full-stack Engineer Jobs

DISCO logo

Principal Software Engineer

DISCO

Technology that powers legal.

Full TimeRemoteTeam 501-1,000Since 2015H1B Sponsor

• Drives the definition and evolution of our architecture using Distributed Domain Driven Design practices. • Acts as the strategy leader for key Architecture Quality Attributes (e.g., Availability, Performance, Scalability, Securibility) to inform architecture assessments. • Provides project-embedded architecture consultation to promote best Practices, design patterns, and informed buy vs. build decisions. • Contributes to the prioritization of platform capability improvements across feature and data platforms. • Enhances the capture and communication of architecture descriptions through automation and innovative tools. • Shepherds platform-wide strategies, including naming, protocol standards, and design patterns, to ensure ongoing value creation. • Communicates complex technical concepts effectively in both written and spoken forms, catering to both technical and non-technical audiences. • Collaborates with stakeholders to build consensus when necessary, ensuring alignment on architectural decisions.

Illinois
Zscaler logo

Staff Fullstack Engineer

Zscaler

Zscaler helps leading organizations in 180+ countries securely transform their networks and applications for a mobile and cloud-first world. Founded in 2008, th

Full TimeRemoteTeam 8,697Since 2007

• Develop features at the edge between the frontend and backend • Create and manage data pipelines for processing OpenAPI documents • Manage and improve our typescript microservice ecosystem • Mentor junior developers and participate in planning and review for backend services

Canada
CA$150K - CA$250K / year
Full TimeRemoteTeam 201-500Since 2008H1B Sponsor

• Design and build high-quality APIs and services for our experimentation platform and recommendation/personalization systems — experiences that are reliable, performant, and genuinely useful to product teams and members. • Work with AI (Claude Code) as a first-class collaborator — your primary workflow involves orchestrating agents to create specs, generate code and tests, verify results, and perform reviews. • Help define and codify AI-Native engineering practices for the team, establishing playbooks the broader org can adopt. • Build across the backend stack as needed — shipping polished, performant, and reliable experiences to tens of millions of users. • Collaborate closely with product managers and data teams to turn complex user problems into elegant, scalable engineering solutions. • Contribute to architectural decisions, code reviews, and a culture of craft and continuous improvement. • Participate in on-call rotation and incident response. • Use agentic workflows to dramatically increase the delivery of strong outcomes — moving faster without sacrificing quality. • Mentor team members and contribute to team processes, technical standards, and help evolve the team's AI-native engineering practices. • Support performance, reliability, and accessibility across the features you own.

California
$118.5K - $216.5K / year
Full TimeRemoteTeam 501-1,000Since 2016H1B Sponsor

• Own and evolve the GDPR Orchestrator (build & run): the platform's core engine, its safety mechanisms (preview/dry-run, audit trail), and its operational health (deploys, on-call, observability). You design the contract areas build on and keep it reliable as adoption grows. • Build the paved road (enable, teach to fish): docs, templates, and self-serve tooling so any of our 15+ areas can plug into the platform and manage its own data rules and dependencies. You coach areas through pairing and syncs; you build the capability rather than doing the work for them. • Coordinate across areas (the cross-area bridge): align legal, security, data, and the data-producing areas on requirements, surface cross-area data dependencies, and resolve design trade-offs between them. You own the coordination; each area stays accountable for its own data and rules. • Push the foundations forward: drive open platform design questions to a conclusion and grow the platform's capabilities as Alan's data, products, and footprint expand.

France