TypeSafe AI
Private
Machine-native AI models for software
Founded 2024San Francisco, California, USANot publicly disclosed employees
About TypeSafe AI
TypeSafe AI develops Jev, a model that returns typed values directly to code so software can consume and verify its output. It emerged from stealth on 15 Sep 2026 with a $40M seed round led by DCVC, then announced an $870M Series A at a $7.5B valuation on 9 Oct 2026, led by Andreessen Horowitz. Customer usage claims are the company's own and are not independently verified.
Products & Services
1- Jev
People & ecosystem
Key People
- Diogo Almeida (Co-founder and CEO, former OpenAI researcher)
- Erik Gafni (Co-founder)
- Sasha Sheng (Co-founder)
Competitive Landscape
- Not publicly disclosed
Related companies
- Anysphere (Cursor)AI Code Editor
- ASI (formerly Air Space Intelligence)AI software for air traffic, airspace and critical infrastructure orchestration; energy, logistics and military deployments
- Codeium (Windsurf)AI Code Assistance & Agentic IDE
- Cognition AI (Devin)Autonomous AI Software Engineer
- DeepLAI Translation & Language
- IBMEnterprise AI Platform and AI Governance