Skip to content
  1. Home
  2. Neolabs
  3. TypeSafe AI
T

TypeSafe AI

Core neolab

AI lab building machine-native models that return typed decisions to software, starting with Jev

Record checked 9 Nov 2026typesafe.aiReport an error

Raised, confirmed$910M2 confirmed rounds
Valuation, confirmed$7.5B9 Oct 2026
Valuation, reported—no open report
Founded2024San Francisco, CA, US

Key facts

FieldValueSource · checked
ClassificationCore neolabResearch lab building machine-native AI models (Jev) founded in 2024 by a former OpenAI researcher; $870M Series A at a $7.5B valuation led by Andreessen Horowitz (Oct 2026).
Founded2024
techstartups.comThe San Francisco startup was founded in 2024 by Diogo Almeidachecked 9 Nov 2026
HeadquartersSan Francisco, CA, US
techstartups.comThe San Francisco startup was founded in 2024 by Diogo Almeidachecked 9 Nov 2026
FoundersDiogo Almeida, Erik Gafni, Sasha Sheng
Websitetypesafe.ai
typesafe.aiTypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software.checked 9 Nov 2026
Careersjobs.ashbyhq.com17 open roles on 9 Nov 2026
typesafe.aichecked 9 Nov 2026
Profiles and workX @typesafeaiLinkedInDocs
How links are checkedchecked 10 Nov 2026

Funding rounds

TypeSafe AI has raised $910M in rounds confirmed by the company, a regulator or two independent outlets. Status rules: methodology.

DateRoundAmountValuationInvestorsStatusSource · checked
9 Oct 2026Series A$870M$7.5BLead: Andreessen Horowitz; Sequoia, DCVC, angel investorsConfirmed
TypeSafe AIled by Andreessen Horowitz+3 more sourceschecked 9 Nov 2026
15 Sep 2026Seed$40M—Lead: DCVCConfirmed
Tech StartupsTypeSafe AI has emerged from stealth with $40 million in seed funding and an ambitious pitch+2 more sourceschecked 9 Nov 2026
Notes on these rounds

People

NameRoleBeforeNowSource · checked
Diogo AlmeidaXScholarSiteCo-founder & CEOOpenAI (Researcher)Current
typesafe.aiAt OpenAI, I helped build the methods that made language models useful at following instructions and talking with people.checked 9 Nov 2026
Erik GafniXLinkedInScholarSiteCo-founder—Current
techcrunch.comTypeSafe was co-founded in 2024 by former Meta research engineer Sasha Sheng and Erik Gafni, an engineer and entrepreneur.checked 9 Nov 2026
Sasha ShengLinkedInCo-founderMeta (Research engineer)Current
techcrunch.comTypeSafe was co-founded in 2024 by former Meta research engineer Sasha Sheng and Erik Gafni, an engineer and entrepreneur.checked 9 Nov 2026

Professional facts from public sources only. How people records are handled.

What it has shipped

NameKindDateOpen weightsSource · checked
Jevmodel15 Sep 2026No
typesafe.aiOur first public model is Jev, available today in early access.checked 9 Nov 2026

Latest posts on X

The most recent posts from @typesafeai, the X account of TypeSafe AI, quoted as posted. Replies and reposts are left out. How posts are selected.

oh so everybody vibecoding their own app is easy now? just a slop cannon away from everything you want in life? prove it! hypership your dreams into reality today
so we heard you like decision models but how do you make reliable decisions against gnarly data with a model? you don't: reliability requires code, and so reliable decisions are made by composing reliable judgments in code Jev makes reliable judgments
what did they mean by this
checked 10 Nov 2026

Commonly cited, checked

Figures and statements about TypeSafe AI that circulate in lists and summaries, and what the sources support.

ClaimFindingSource
Founded 2025TechCrunch and Tech Startups report the company was founded in 2024.
techstartups.comThe San Francisco startup was founded in 2024 by Diogo Almeida
$870M Series A on 9 Oct 2026 at $7.5BConfirmed by the company's post and TechCrunch: $870M at a $7.5B valuation led by Andreessen Horowitz. A $40M seed led by DCVC was announced on 15-16 Sep 2026.
techcrunch.comhas raised $870 million at a $7.5 billion valuation
Series A investors commonly cited as Andreessen Horowitz and SequoiaSeries A led by Andreessen Horowitz with Sequoia and DCVC; seed led by DCVC.
techcrunch.comThe round was led by Andreessen Horowitz, with participation from Sequoia and existing investor DCVC.

Work at TypeSafe AI, or see something wrong? Update this profile with a public source. How corrections work.