About the role
We’re building products to make the future of software correct, understandable, and secure. Right now, AI has raised the floor on software engineering. We’re building for the world where it raises the ceiling.
What we’re building
Our approach is to write software correctness feedback that scales with complexity and volume of code, so software is provably safe and reliable.
What this looks like in practice:
- Post-training that make models as good at program analysis and formal reasoning as they are at writing Python.
- Interfaces for navigating complex implementations of simple specifications to help users find bugs, generate design documentation, and implement non-functional requirements using compiler-level reasoning methods.
You may be a good fit if you
- Pick projects that are a few orders of magnitude bigger, faster, or harder than SOTA
- Have the gumption to try out something before everyone starts talking about it
- Love to be helpful to the people around you, whether it is pair-debugging or teaching someone something new or just picking up the slack on the mundane tasks that are blocking progress
- Dig deep to get satisfying explanations for how and why things work
- Are practiced in solving last-mile problems
Compensation: $150,000-250,000 with generous equity
About Theorem
Program verification so even your systems engineers can vibecode
Other roles at Theorem
Job details
Salary
$150,000 - $250,000
Location
San Francisco, CA
Experience
0+ years
Funding
Total raised
$6M
Last stage
Seed
Investors
What happens next.
No applications, no recruiter spam. Just the intro.
Confirm the fit
A few questions to make sure this role is the right shape for you. Two minutes.
I pitch you to the company
I write the intro, send it to the founder, and handle the back-and-forth.
A meeting lands on your calendar
If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.