Don't See Your Role? Apply Here

Our mission is to empower people to invent solutions for the world’s hardest problems, working together with scalable and reliable AI agents. For example, our agents can efficiently reason about and verify mission-critical code, including migrating space-grade software from C to Safe Rust.

Our team has published award-winning AI research and is backed by top-tier investors including Eric Schmidt, Caltech, Jeff Dean, and JP Millon.

We move fast, think from first principles, and build with purpose. We believe that great results come when people take ownership, grow together, and share both the challenges and the wins.

We're always looking for talented people who are excited about our mission.

Even if you don't see a specific job opening that fits you, we still want to hear from you if you're motivated and want to contribute in some way!

Please drop us a note and let us know what your superpowers are!

• Competitive salary

• Stock options

• Premium insurance: health (100% covered), dental (90% covered), and vision (90% covered). Dependents are covered at 50%.

• Wellness benefits (e.g., gym, fitness classes, physical therapy).

• Retirement 401k: 100% match of your 401k deferrals up to 4% of your compensation.

• Commuter benefits

• Daily meals in the office

• Training and development budget, e.g., for domestic conferences.

• Flexible working hours

• Unlimited PTO (with manager approval)

• Team-building events and celebrations