Build AI

• 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

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., 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.