Rabdos AI hits $25M ARR in under a year, hiring Lean formalization research engineer
AI4Code · x · 2026-09-17
Rabdos AI, founded by University of Pennsylvania academics and bootstrapped to $25M ARR in under a year, is hiring a Research Engineer to lead mathematical formalization in Lean: turning informal math into formal proofs, building autoformalization pipelines integrated with frontier AI models, and curating formal reasoning datasets. The company builds research-level STEM tasks that remain beyond frontier models even as they approach millennium-prize-level problems.
More from Companies & People
- AI safety scholar Seth Lazar joins independent alignment org Resolution part-time — sethlazar · 2026-09-17
- Karp: Anthropic is pushing AI regulation to offload IP liability onto the government — BrettKrieger12 · 2026-09-17
- Inaugural European Physical AI Summit kicks off in Munich next week — animesh_garg · 2026-09-17
- Perplexity Hires Reverse Engineers in Berlin for First Time to Mine Its Search Index — bo_wangbo · 2026-09-17
- TypeSafe AI Launches Foundation Model Optimized for Automation, Drawns Investor Praise — hardimanjames · 2026-09-17
- Berkeley's Angjoo Kanazawa teaches machines to understand the physical world for the robotics era — jfiance · 2026-09-17