Cajal

Scaling formal verification to accelerate scientific discovery

Tovuti ↗Chanzo: Y Combinator ↗

Kuhusu

Maelezo ya kampuni kwa Kiingereza

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.

Mada

Eneo: San Francisco, CA, Marekani
Ukubwa wa timu: Wafanyakazi: 2
Kundi la YC: Winter 2026
Hali: Inafanya kazi
Hatua: Hatua za awali

Startup zinazofanana na washindani

Stripe

Inaajiri

Inachofanya:

Miundombinu ya kiuchumi kwa intaneti.

Benki na mikopo

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 7,000YC S09Hatua ya ukuajiNafasi za kazi: 729

Tazama wasifu Tovuti ↗

Deel

Inaajiri

Inachofanya:

Jukwaa moja kwa yote la HR na mishahara kwa timu za kimataifa

Teknolojia ya HR Uhasibu na fedha

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 5,000YC W19Hatua ya ukuajiKwa mbali

Tazama wasifu Tovuti ↗

GrubMarket

Inachofanya:

Mwezeshaji wa teknolojia inayoendeshwa na AI na mleta mageuzi ya kidijitali ya Marekani…

Usafirishaji na ugavi Chakula na kilimo Biashara mtandaoni

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 4,548YC W15Hatua ya ukuaji

Tazama wasifu Tovuti ↗

Flexport

Inaajiri

Inachofanya:

Jukwaa la usafirishaji wa kimataifa.

Usafirishaji na ugavi

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 3,000YC W14Hatua ya ukuajiNafasi za kazi: 202

Tazama wasifu Tovuti ↗

Rippling

Inaajiri

Inachofanya:

Mahali pamoja pa kuendesha HR, IT na fedha zako zote. Kimataifa.

Teknolojia ya HR

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 2,500YC W17Hatua ya ukuaji

Tazama wasifu Tovuti ↗

Gusto

Inaajiri

Inachofanya:

Huzipa biashara zinazokua kila kitu cha kuhudumia timu zao

Teknolojia ya HR Bima

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 2,400YC W12Hatua ya ukuajiNafasi za kazi: 97

Tazama wasifu Tovuti ↗

Maswali na majibu

Makao makuu ya Cajal yako wapi?

San Francisco, CA, Marekani

Watu wangapi wanafanya kazi katika Cajal?

Wafanyakazi: 2, kulingana na wasifu wa kampuni.

Je, Cajal imepata ufadhili?

Hakuna awamu za ufadhili za Cajal katika takwimu zetu.

Ni zipi mbadala za Cajal?

Startup zinazofanana: Stripe, Deel na GrubMarket.