
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.
What you'll do
Build the supercomputing infrastructure that runs our agents. Our agents tackle long-horizon, high-performance workloads, and you'll design the cloud compute, distributed systems, and sandboxed tooling that keeps them reliable, efficient, and ready to scale.
What you have
Deep experience with cloud infrastructure, including Kubernetes, cloud storage, and other key components
Familiarity with distributed systems fundamentals and frameworks like Ray
Expertise on using virtual networks and remote program execution across distributed resources
Sharp judgment on system design tradeoffs for building and operating infrastructure for long-running AI agent workloads
Strong programming (e.g., Python, Go, Rust), analytical thinking, and communication skills
Nice to have
Ability to work effectively with AI coding agents like Claude Code
Experience building tooling or sandboxed environments for high-performance systems
Open-source contributions or production experience with large-scale ML infrastructure
Compensation, benefits, and perks
We offer competitive compensation + stock options, full health coverage, and a 401(k) match, plus additional wellness perks, flexible hours, and unlimited PTO. We prioritize growth and connection through daily meals in the office, learning budgets, and regular team socials.

We envision a future where people and powerful AI agents interact and collaborate in unseen ways to create and discover.
To achieve this, we build AI that plans, abstracts, verifies, and discovers new skills and knowledge.