Theorem
Program verification so even your systems engineers can vibecode
Company details
- Backers
- Website
- https://theorem.dev
- Careers page
- https://www.ycombinator.com/companies/theorem-2/jobs
Open AI roles (4)
T
ML Research Engineer
Theorem YC Spring 2025 · San Francisco, CA, US · Engineering
open
T
ML Research Scientist
Theorem YC Spring 2025 · San Francisco, CA, US · Engineering
open
T
Senior SWE
Theorem YC Spring 2025 · San Francisco, CA, US · Engineering
open
T
Systems Engineer
Theorem YC Spring 2025 · San Francisco, CA, US · Engineering
open