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!