Generalist Engineer

About the Role

We need engineers who can do it all. From designing novel algorithms to writing GPU kernels, from working on the Lean kernel to scaling Kubernetes clusters. You'll tackle whatever engineering challenge stands between us and AI systems that can discover mathematics.

What You'll Work On

• Implement research algorithms and optimize them for production scale
• Write custom CUDA kernels and optimize model performance
• Build bridges between proof systems (Lean, Coq) and model training
• Design experiment tracking and evaluation infrastructure
• Deploy and orchestrate distributed training with Docker/Kubernetes
• Whatever else needs building - from data pipelines to research tooling

Requirements

• 3+ years as a versatile engineer comfortable across the stack
• Strong algorithms background and systems programming skills
• Experience jumping between different domains and technologies
• Ability to go deep when needed - whether it's GPU optimization or distributed systems
• Track record of shipping complex projects end-to-end

Bonus: ML experience, formal methods background, low-level optimization skills, contributions to open-source projects, Putnam / ICPC / Olympiad medals.

Compensation & Logistics

Salary: Above market rate, equity and benefits
Location: San Francisco, CA
Visa: We sponsor for exceptional candidates

Perfect for engineers who get excited about learning new things, working hard, and making an impact. We value breadth, adaptability, and the ability to ship.

To apply: harry@principialabs.org with CV and a blurb about why you're excited about the role.