StandoutStandout
Talk to Standout
Back to companies
Theorem

Theorem

Program verification so even your systems engineers can vibecode

San Francisco
4 employees
Engineering, Product and Design
Seed · $6M
WebsiteX / Twitter

About Theorem

Program verification so even your systems engineers can vibecode

Open positions (4)

Senior SWE

Full-time
San Francisco, CA
$300k – $500k

ML Research Scientist

Full-time
San Francisco, CA
$300k – $500k

ML Research Engineer

Full-time
San Francisco, CA
$150k – $250k

Systems Engineer

Full-time
San Francisco, CA
$150k – $250k

Company details

Team Size4
LocationSan Francisco
IndustryEngineering, Product and Design

Funding

Total raised

$6M

Last stage

Seed

Investors

Khosla Ventures
Y Combinator
ee14
SSAIF
HHalcyon

Founders

Rajashree Agrawal

Rajashree Agrawal

Babysitting models.

LinkedIn
Jason Gross

Jason Gross

Developed performant, verified code powering trillions of https connections to Chrome and other browsers.

LinkedIn

What happens next.

No applications, no recruiter spam. Just the intro.

01

Confirm the fit

A few questions to make sure this role is the right shape for you. Two minutes.

02

I pitch you to the company

I write the intro, send it to the founder, and handle the back-and-forth.

03

A meeting lands on your calendar

If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.