Theorem

Program verification so even your systems engineers can vibecode

Merekrut

Situs web ↗Sumber: Y Combinator ↗

Tentang perusahaan

Deskripsi perusahaan dalam bahasa Inggris

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!

Topik

Machine Learning B2B Engineering, Product and Design

Lokasi: San Francisco, CA, Amerika Serikat
Ukuran tim: 4 karyawan
Batch YC: Spring 2025
Status: Aktif
Tahap: Tahap awal

Startup serupa & pesaing

Podium

Merekrut

Bidang usaha:

Dapatkan lebih banyak prospek. Hasilkan lebih banyak uang.

Fakta singkat:

Kantor pusat: Lehi, UT, Amerika Serikat

1.000 karyawanYC W16Tahap pertumbuhan58 posisi terbuka

Lihat profil Situs web ↗

Flock Safety

Merekrut

Bidang usaha:

Sistem operasi keamanan publik pertama yang memberantas kejahatan.

Fakta singkat:

Kantor pusat: Atlanta, GA, Amerika Serikat

1.000 karyawanYC S17Tahap pertumbuhan

Lihat profil Situs web ↗

Checkr

Merekrut

Bidang usaha:

Infrastruktur SDM untuk masa depan dunia kerja

SDM & Rekrutmen AI Alat Developer Hukum & Kepatuhan

Fakta singkat:

Kantor pusat: San Francisco, CA, Amerika Serikat

800 karyawanYC S14Tahap pertumbuhan43 posisi terbuka

Lihat profil Situs web ↗

Scale AI

Merekrut

Bidang usaha:

Infrastruktur berpusat pada data untuk mempercepat pengembangan AI

Fakta singkat:

Kantor pusat: San Francisco, CA, Amerika Serikat

500 karyawanYC S16Tahap pertumbuhan182 posisi terbuka

Lihat profil Situs web ↗

Scribd

Bidang usaha:

Perpustakaan online terbesar di dunia.

Fakta singkat:

Kantor pusat: San Francisco, CA, Amerika Serikat

300 karyawanYC S06Tahap pertumbuhan

Lihat profil Situs web ↗

Relativity Space

Merekrut

Bidang usaha:

Membangun masa depan multiplanet umat manusia.

Manufaktur & Semikonduktor AI Dirgantara & Pertahanan

Fakta singkat:

Kantor pusat: Los Angeles, CA, Amerika Serikat

2.500 karyawanYC W16Tahap pertumbuhan

Lihat profil Situs web ↗

Tanya jawab

Di mana kantor pusat Theorem?

San Francisco, CA, Amerika Serikat

Berapa jumlah karyawan Theorem?

4 karyawan, menurut profil perusahaan.

Apakah Theorem sudah mendapat pendanaan?

Data kami tidak mencatat putaran pendanaan untuk Theorem.

Apa saja alternatif Theorem?

Startup serupa: Podium, Flock Safety, dan Checkr.