Theorem

Program verification so even your systems engineers can vibecode

Zoekt personeel

Website ↗Bron: Y Combinator ↗

Over het bedrijf

Bedrijfsbeschrijving in het Engels

Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!

Onderwerpen

Machine Learning B2B Engineering, Product and Design

Locatie: San Francisco, CA, VS
Teamgrootte: 4 medewerkers
YC-batch: Spring 2025
Status: Actief
Fase: Vroege fase

Vergelijkbare startups en concurrenten

Podium

Zoekt personeel

Wat ze doen:

Krijg meer leads. Verdien meer geld.

Toegepaste AI E-commerce

In het kort:

Hoofdkantoor: Lehi, UT, VS

1.000 medewerkersYC W16GroeifaseVacatures: 58

Bekijk profiel Website ↗

Flock Safety

Zoekt personeel

Wat ze doen:

Het eerste besturingssysteem voor openbare veiligheid dat criminaliteit uitbant.

In het kort:

Hoofdkantoor: Atlanta, GA, VS

1.000 medewerkersYC S17Groeifase

Bekijk profiel Website ↗

Checkr

Zoekt personeel

Wat ze doen:

People-infrastructuur voor de toekomst van werk

HR en recruitment Toegepaste AI Ontwikkelaarstools Legaltech

In het kort:

Hoofdkantoor: San Francisco, CA, VS

800 medewerkersYC S14GroeifaseVacatures: 43

Bekijk profiel Website ↗

Scale AI

Zoekt personeel

Wat ze doen:

Datagerichte infrastructuur om de ontwikkeling van AI te versnellen

In het kort:

Hoofdkantoor: San Francisco, CA, VS

500 medewerkersYC S16GroeifaseVacatures: 182

Bekijk profiel Website ↗

Scribd

Wat ze doen:

's Werelds grootste online bibliotheek.

Toegepaste AI Onderwijs

In het kort:

Hoofdkantoor: San Francisco, CA, VS

300 medewerkersYC S06Groeifase

Bekijk profiel Website ↗

Relativity Space

Zoekt personeel

Wat ze doen:

We bouwen aan de multiplanetaire toekomst van de mensheid.

Maakindustrie en chips Toegepaste AI Ruimtevaart en defensie

In het kort:

Hoofdkantoor: Los Angeles, CA, VS

2.500 medewerkersYC W16Groeifase

Bekijk profiel Website ↗

Vragen en antwoorden

Waar is Theorem gevestigd?

San Francisco, CA, VS

Hoeveel mensen werken er bij Theorem?

Aantal medewerkers volgens het bedrijfsprofiel: 4.

Heeft Theorem geld opgehaald?

In onze gegevens staan geen investeringsrondes van Theorem.

Wat zijn alternatieven voor Theorem?

Vergelijkbare startups: Podium, Flock Safety en Checkr.