Member of Technical Staff - US Talent Pool

The Role

We are seeking a Member of Technical Staff to join our core research, engineering, and product development efforts. Your work will shape the future of formal reasoning and software engineering.

Key responsibilities include:

• Designing evaluations for state-of-the-art coding models
• Developing novel post-training paradigms grounded in formal methods
• Building the tooling to deliver correctness guarantees in production software engineering

Requirements

• Domain expertise in either machine learning or formal methods, with active interest in learning the other
• Evidence of extremely fast learning of deeply technical subjects
• Experience running machine learning experiments, ideally at scale
• Strong software engineering practice: advanced git workflows, testing, containerization, code review, etc
• Familiarity with MLOps tools and training across multi-GPU clusters
• An understanding of specification-aware programming (Verus, Dafny, TLA+), proof assistants and verification tools (LEAN, Isabelle)
• AI-native experience with AI-assisted programming tools (Claude Code and similar)

Bonus Points

• If you actively contribute to formal verification or program synthesis projects: Verus, Lean, Dafny, or similar
• If you have run production backend services at scale; you've felt the pain of what testing can't prove
• If you have been accountable for distributed systems; you respect the failure modes that emerge from concurrency, consensus, and partial failure

Benefits

• Generous salary, with equity and additional benefits
• San Francisco location with flexibility for team and conference travel
• Visa sponsorship available for the perfect candidate
• World-class team and environment: an opportunity to build alongside deeply experienced founders, in a well-funded company that's backed by industry leading VCs and angels including Oriol Vinyals, Zoubin Ghahramani, Jonathan Frankle and Guy Podjarny, amongst many others