Theorem
Program verification so even your systems engineers can vibecode
Watchlist status
- Why it's watched
- Y Combinator — YC Spring 2025
- Website
- https://theorem.dev
- Job source
- YC jobs page ·
theorem-2 - Careers page
- https://www.ycombinator.com/companies/theorem-2/jobs
- AI-native
- Yes — all roles count as AI jobs
- First checked
- Oct 22, 9:42 PM ET
- Last checked
- Oct 25, 6:08 AM ET · ok · 4 open
- Open roles
- 4 total · 4 AI
History
Oct 22, 9:42 PM ET baseline First check: 4 open roles (4 AI)
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