Theorem

Program verification so even your systems engineers can vibecode

Đang tuyển

Trang web ↗Nguồn: Y Combinator ↗

Giới thiệu

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

Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!

Chủ đề

Machine Learning B2B Engineering, Product and Design

Địa điểm: San Francisco, CA, Mỹ
Quy mô đội ngũ: 4 nhân viên
Khóa YC: Spring 2025
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

Podium

Đang tuyển

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

Có thêm khách hàng tiềm năng. Kiếm nhiều tiền hơn.

AI Thương mại điện tử

Thông tin nhanh:

Trụ sở: Lehi, UT, Mỹ

1.000 nhân viênYC W16Giai đoạn tăng trưởng58 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Flock Safety

Đang tuyển

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

Hệ điều hành an ninh công cộng đầu tiên giúp loại bỏ tội phạm.

Thông tin nhanh:

Trụ sở: Atlanta, GA, Mỹ

1.000 nhân viênYC S17Giai đoạn tăng trưởng

Xem hồ sơ Trang web ↗

Checkr

Đang tuyển

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

Hạ tầng nhân sự cho tương lai của công việc

Nhân sự & tuyển dụng AI Công cụ cho lập trình viên Pháp lý & tuân thủ

Thông tin nhanh:

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

800 nhân viênYC S14Giai đoạn tăng trưởng43 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Scale AI

Đang tuyển

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

Hạ tầng lấy dữ liệu làm trung tâm để đẩy nhanh việc phát triển AI

Thông tin nhanh:

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

500 nhân viênYC S16Giai đoạn tăng trưởng182 vị trí đang tuyển

Xem hồ sơ Trang web ↗

Scribd

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

Thư viện trực tuyến lớn nhất thế giới.

Thông tin nhanh:

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

300 nhân viênYC S06Giai đoạn tăng trưởng

Xem hồ sơ Trang web ↗

Relativity Space

Đang tuyển

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

Kiến tạo tương lai đa hành tinh của nhân loại.

Sản xuất & bán dẫn AI Hàng không vũ trụ & quốc phòng

Thông tin nhanh:

Trụ sở: Los Angeles, CA, Mỹ

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

Xem hồ sơ Trang web ↗

Hỏi đáp

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

San Francisco, CA, Mỹ

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

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

Theorem đã 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 Theorem.

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

Startup tương tự: Podium, Flock Safety và Checkr.