Complex systems, incredibly fast.
Senior Software Engineer, Formal Verification
Location
New York
Posted
2 days ago
Salary
$180K - $250K / year
Seniority
Senior
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 Guides
Related Job Pages
More Full-stack Engineer Jobs
• 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.
Staff Fullstack Engineer
ZscalerZscaler helps leading organizations in 180+ countries securely transform their networks and applications for a mobile and cloud-first world. Founded in 2008, th
• 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
• 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.
• 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.




