Cajal

Scaling formal verification to accelerate scientific discovery

Web sitesi ↗Kaynak: Y Combinator ↗

Hakkında

İngilizce şirket açıklaması

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.

Konular

Konum: San Francisco, CA, ABD
Ekip büyüklüğü: 2 çalışan
YC dönemi: Winter 2026
Durum: Aktif
Aşama: Erken aşama

Benzer girişimler ve rakipler

Stripe

İşe alım var

Ne yapıyorlar:

İnternet için ekonomik altyapı.

Bankacılık ve kredi

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

7.000 çalışanYC S09Büyüme aşaması729 açık pozisyon

Profili gör Web sitesi ↗

Deel

İşe alım var

Ne yapıyorlar:

Global ekipler için hepsi bir arada İK ve bordro platformu

İnsan kaynakları Muhasebe ve finans

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

5.000 çalışanYC W19Büyüme aşamasıUzaktan

Profili gör Web sitesi ↗

GrubMarket

Ne yapıyorlar:

AI destekli teknoloji sağlayıcısı ve dijital dönüştürücü: Amerikan…

Lojistik Gıda ve tarım E-ticaret

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

4.548 çalışanYC W15Büyüme aşaması

Profili gör Web sitesi ↗

Flexport

İşe alım var

Ne yapıyorlar:

Küresel lojistik platformu.

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

3.000 çalışanYC W14Büyüme aşaması202 açık pozisyon

Profili gör Web sitesi ↗

Rippling

İşe alım var

Ne yapıyorlar:

Tüm İK, BT ve finans işleriniz için tek bir yer. Küresel ölçekte.

İnsan kaynakları

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

2.500 çalışanYC W17Büyüme aşaması

Profili gör Web sitesi ↗

Gusto

İşe alım var

Ne yapıyorlar:

Büyüyen işletmelere ekiplerine özen göstermek için gereken her şeyi sunar

İnsan kaynakları Sigorta teknolojisi

Kısa bilgiler:

Merkez: San Francisco, CA, ABD

2.400 çalışanYC W12Büyüme aşaması97 açık pozisyon

Profili gör Web sitesi ↗

Sorular ve yanıtlar

Cajal şirketinin merkezi nerede?

San Francisco, CA, ABD

Cajal şirketinde kaç kişi çalışıyor?

Şirket profiline göre 2 çalışan.

Cajal yatırım aldı mı?

Verilerimizde Cajal için yatırım turu bulunmuyor.

Cajal alternatifleri neler?

Benzer girişimler: Stripe, Deel ve GrubMarket.