Skills & Keywords
indeed
Job Description
### **About the Role** We're a small, ambitious team building the next generation of AI training data — grounded in verifiable truth rather than noisy human annotation or web-scraped text. Our core thesis: frontier model capability breakthroughs are gated on data breakthroughs. We integrate formal systems — physics simulators, scientific databases, formal proof systems, executable tests, and oracle databases — to produce training data that is **correct by construction**. We're hiring both **Re
View full posting