Theorem is working on post-training that aims to make models as good at program analysis and formal reasoning as they are at writing Python.
Source posting
ConsultingYC P25
Theorem is hiring. 4 roles are open right now.
Browse the openings below to see requirements, locations, and pay where available, then apply on Theorem's site. Scoutify can fill in and send applications for you to similar roles.
HQSan Francisco, CA
Posted (90d)0
[01] HIRING NOW
See Theorem's current openings.
We update these listings as we find new roles and learn that others have closed.
Open roles
4
Posted (90d)
0
Posted range
—
Roles with the most current openings
Machine Learning Engineer
4 roles
AI / LLM Engineer
2 roles
AI / ML Research
2 roles
[02] OPEN ROLES
Apply to Theorem now.
Live roles pulled from Theorem's career page. Open one to see the full description, location, and pay, then apply on Theorem's site.
4 open roles
California, San Francisco, United States · full-time · $150k - 250k
California, San Francisco, United States · full-time · $300k - 500k
California, San Francisco, United States · full-time · $300k - 500k
California, San Francisco, United States · full-time · $150k - 250k
[03] IN THEIR OWN WORDS
How Theorem pitches itself.
Theorem is building AI that is as capable at program verification as it is at writing Python.
Source: theorem.dev
[04] VISA SPONSORSHIP
U.S.-only hiring history.
Theorem has no H-1B petition history we can find.
No H1B sponsorship history
Source: USCIS H-1B Employer Data Hub. Classifications: yes (5+ approvals), conditional (1-4), no (0).
[05] WHERE THEY'RE HIRING
Where Theorem is hiring.
These are the cities named in current job listings. A role can appear in more than one city.
Top cities by open roles
San Francisco, California
4 roles
[06] FROM THE POSTINGS
What the job postings tell us.
These details come from the linked postings. Benefits and working arrangements can differ by role and location.
Theorem is building interfaces that help users find bugs, generate design documentation and implement non-functional requirements using compiler-level reasoning methods.
Source postingSources reviewed 2026-10-19.
[07] COMPANY DETAILS
More about Theorem.
- Y Combinator batch
- Spring 2025
YC directory snapshot · Observed 2026-09-28
[08] ABOUT
What Theorem does.
Theorem builds products to make software correct, understandable and secure. Its approach writes software correctness feedback that scales with the complexity and volume of code.
[09] INTERVIEW PREP
Going through their loop?
Review the skills in Theorem's job descriptions, practice relevant exercises, and explore any available candidate-reported questions.
[10] HOW TO APPLY
Your resume lands in Yc.
Theorem uses Yc for applications. Follow the job link to complete the employer’s form and review its requirements.
Scoutify checks Theorem's career page for new listings.
Sniper applies on Greenhouse, Workday, SmartRecruiters, Ashby, Lever, UKG Pro, JazzHR and Jobvite career sites, and Theorem hires through Yc, so the fastest route here is to get instant alerts when Theorem posts a new role and apply yourself while it is fresh.
ATS identified from the application URLs on Theorem's recent postings
[12] SIMILAR COMPANIES
People exploring Theorem usually compare with these.
[13] FAQ
Questions people ask about Theorem.
Not covered here? Email support@scoutify.com.
Is Theorem hiring?
Scoutify currently lists 4 open roles at Theorem. Follow the job links to check requirements and apply on the employer's career site.
PREP + APPLY
Done prepping? Let Scoutify apply for you.
Scoutify can apply to jobs that match your search while you prepare for interviews.
GET 3 FREE APPLICATIONSYour first 3 applications are free, no card needed. After that, auto-apply from $15/week.