Build AI

• Design, train, and evaluate hybrid AI systems that perform well at scale and make optimal trade-offs
• Build scalable data processing and machine learning systems
• Solve min-max problems: how can we do more with less?
• Accelerate our work by removing operational and tooling bottlenecks

• You are energized by solving challenging real-world problems
• You have a track record in a technical domain, e.g., machine learning, computer science, physics, math
• You have strong programming (Python, C++) and math abilities
• You have strong conceptual and structured thinking
• You have clear verbal and written communication skills
• You are willing and able to learn quickly
• You can independently structure, plan, prioritize, and get things done
• You have a drive for excellence, take ownership, and are biased to action

It would be nice to have

• Open-source projects, published research papers, or other examples of experience in using machine learning.
• Experience with applying deep learning, reinforcement learning, unsupervised learning, and other techniques to large-scale problems.
• Experience with distributed computing and handling large datasets.

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

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.