Cajal

Scaling formal verification to accelerate scientific discovery

Trang web ↗Nguồn: Y Combinator ↗

Giới thiệu

Mô tả công ty bằng tiếng Anh

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.

Chủ đề

Địa điểm: San Francisco, CA, Mỹ
Quy mô đội ngũ: 2 nhân viên
Khóa YC: Winter 2026
Trạng thái: Đang hoạt động
Giai đoạn: Giai đoạn đầu

Startup tương tự và đối thủ cạnh tranh

Stripe

Đang tuyển

Lĩnh vực hoạt động:

Hạ tầng kinh tế cho internet.

Ngân hàng & cho vay

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

7.000 nhân viênYC S09Giai đoạn tăng trưởng729 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Deel

Đang tuyển

Lĩnh vực hoạt động:

Nền tảng HR và tính lương tất cả trong một cho các đội ngũ toàn cầu

Nhân sự & tuyển dụng Kế toán & tài chính

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

5.000 nhân viênYC W19Giai đoạn tăng trưởngLàm từ xa

Xem hồ sơ Trang web ↗

GrubMarket

Lĩnh vực hoạt động:

Đơn vị hỗ trợ công nghệ dựa trên AI và chuyển đổi số của Mỹ…

Logistics Thực phẩm & nông nghiệp Thương mại điện tử

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

4.548 nhân viênYC W15Giai đoạn tăng trưởng

Xem hồ sơ Trang web ↗

Flexport

Đang tuyển

Lĩnh vực hoạt động:

Nền tảng logistics toàn cầu.

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

3.000 nhân viênYC W14Giai đoạn tăng trưởng202 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Rippling

Đang tuyển

Lĩnh vực hoạt động:

Một nơi để quản lý toàn bộ HR, IT và tài chính. Trên toàn cầu.

Nhân sự & tuyển dụng

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

2.500 nhân viênYC W17Giai đoạn tăng trưởng

Xem hồ sơ Trang web ↗

Gusto

Đang tuyển

Lĩnh vực hoạt động:

Cung cấp cho doanh nghiệp đang phát triển mọi thứ để chăm lo cho đội ngũ của họ

Nhân sự & tuyển dụng Bảo hiểm

Thông tin nhanh:

Trụ sở: San Francisco, CA, Mỹ

2.400 nhân viênYC W12Giai đoạn tăng trưởng97 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Hỏi đáp

Cajal đặt trụ sở ở đâu?

San Francisco, CA, Mỹ

Cajal có bao nhiêu nhân viên?

2 nhân viên, theo hồ sơ công ty.

Cajal đã gọi vốn chưa?

Dữ liệu của chúng tôi không có vòng gọi vốn nào của Cajal.

Có những lựa chọn thay thế nào cho Cajal?

Startup tương tự: Stripe, Deel và GrubMarket.