Cajal

Scaling formal verification to accelerate scientific discovery

Website ↗Quelle: Y Combinator ↗

Über das Unternehmen

Unternehmensbeschreibung auf Englisch

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.

Themen

Standort: San Francisco, CA, USA
Teamgröße: 2 Mitarbeitende
YC-Batch: Winter 2026
Status: Aktiv
Phase: Frühphase

Ähnliche Startups und Wettbewerber

Stripe

Stellt ein

Was sie machen:

Wirtschaftsinfrastruktur für das Internet.

Banking und Kredite

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

7.000 MitarbeitendeYC S09Wachstumsphase729 offene Stellen

Profil ansehen Website ↗

Deel

Stellt ein

Was sie machen:

Die All-in-one-Plattform für HR und Lohnabrechnung globaler Teams

HR und Recruiting Buchhaltung und Finanzen

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

5.000 MitarbeitendeYC W19WachstumsphaseRemote

Profil ansehen Website ↗

GrubMarket

Was sie machen:

AI-gestützter Technologie-Enabler und digitaler Transformator der amerikanischen…

Logistik Lebensmittel und Landwirtschaft E-Commerce

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

4.548 MitarbeitendeYC W15Wachstumsphase

Profil ansehen Website ↗

Flexport

Stellt ein

Was sie machen:

Plattform für globale Logistik.

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

3.000 MitarbeitendeYC W14Wachstumsphase202 offene Stellen

Profil ansehen Website ↗

Rippling

Stellt ein

Was sie machen:

Ein Ort, um HR, IT und Finanzen zu steuern. Weltweit.

HR und Recruiting

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

2.500 MitarbeitendeYC W17Wachstumsphase

Profil ansehen Website ↗

Gusto

Stellt ein

Was sie machen:

Bietet wachsenden Unternehmen alles, um sich um ihr Team zu kümmern

HR und Recruiting Insurtech

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

2.400 MitarbeitendeYC W12Wachstumsphase97 offene Stellen

Profil ansehen Website ↗

Fragen und Antworten

Wo sitzt Cajal?

San Francisco, CA, USA

Wie viele Menschen arbeiten bei Cajal?

2 Mitarbeitende laut Unternehmensprofil.

Hat Cajal Kapital eingesammelt?

In unseren Daten gibt es keine Finanzierungsrunden von Cajal.

Welche Alternativen gibt es zu Cajal?

Ähnliche Startups: Stripe, Deel und GrubMarket.