Cajal

Scaling formal verification to accelerate scientific discovery

Spletna stran ↗Vir: Y Combinator ↗

O podjetju

Opis podjetja v angleščini

Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance.

We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems.

Teme

Lokacija: San Francisco, CA, Združene države Amerike
Velikost ekipe: Zaposleni: 2
Generacija YC: Winter 2026
Status: Aktiven
Faza: Zgodnja faza

Podobni startupi in konkurenti

Stripe

Zaposluje

S čim se ukvarja:

Ekonomska infrastruktura za internet.

Bančništvo in posojila

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 7000YC S09Faza rastiProsta delovna mesta: 729

Ogled profila Spletna stran ↗

Deel

Zaposluje

S čim se ukvarja:

Platforma vse v enem za HR in plače za globalne ekipe

Kadrovske tehnologije Računovodstvo in finance

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 5000YC W19Faza rastiNa daljavo

Ogled profila Spletna stran ↗

GrubMarket

S čim se ukvarja:

Tehnološki omogočitelj z AI in digitalni preoblikovalec ameriške…

Logistika Hrana in kmetijstvo E-trgovina

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 4548YC W15Faza rasti

Ogled profila Spletna stran ↗

Flexport

Zaposluje

S čim se ukvarja:

Platforma za globalno logistiko.

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 3000YC W14Faza rastiProsta delovna mesta: 202

Ogled profila Spletna stran ↗

Rippling

Zaposluje

S čim se ukvarja:

Eno mesto za upravljanje HR-ja, IT-ja in financ. Globalno.

Kadrovske tehnologije

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 2500YC W17Faza rasti

Ogled profila Spletna stran ↗

Gusto

Zaposluje

S čim se ukvarja:

Rastočim podjetjem ponuja vse, kar potrebujejo za skrb za svojo ekipo

Kadrovske tehnologije Zavarovalništvo

Na kratko:

Sedež: San Francisco, CA, Združene države Amerike

Zaposleni: 2400YC W12Faza rastiProsta delovna mesta: 97

Ogled profila Spletna stran ↗

Vprašanja in odgovori

Kje ima Cajal sedež?

San Francisco, CA, Združene države Amerike

Koliko ljudi zaposluje Cajal?

Zaposleni: 2 (po podatkih iz profila podjetja).

Ali je podjetje Cajal zbralo sredstva?

V naših podatkih ni investicijskih krogov podjetja Cajal.

Katere so alternative podjetju Cajal?

Podobni startupi: Stripe, Deel in GrubMarket.