Startup · AI

Jobs at Theorem

Program verification so even your systems engineers can vibecode. Backed by Y Combinator. 4 open roles.

See all 4 roles →

Find your next role37992 open roles in VC, AI and tech, refreshed every Tuesday

Popular:All jobs Venture capital jobs AI jobs Startup jobs

Open roles

Jobs at Theorem

4open roles

$225K to $375Ktypical pay · salary guide

Updated weekly. New roles added every Tuesday. Last refresh Thu, Sep 24

4 jobs

Sort

ML Research Engineer AITheoremSan Francisco, CA, USOn-siteMid levelProgram verification so even your systems engineers can vibecode. Backed by Y Combinator.$150K to $250KPosted Oct 22
ML Research Scientist AITheoremSan Francisco, CA, USOn-siteMid levelProgram verification so even your systems engineers can vibecode. Backed by Y Combinator.$300K to $500KPosted Oct 22
Senior SWE AITheoremSan Francisco, CA, USOn-siteSeniorProgram verification so even your systems engineers can vibecode. Backed by Y Combinator.$300K to $500KPosted Oct 22
Systems Engineer AITheoremSan Francisco, CA, USOn-siteMid levelProgram verification so even your systems engineers can vibecode. Backed by Y Combinator.$150K to $250KPosted Oct 22

Are you a founder?Get capital, curriculum and investor access at every stage.Explore startup programs → Want to break into VC?Learn how funds source, evaluate and invest, from inside one.Explore investor programs →

Build your edge while you search

Free tools for founders and investors, plus VC Unfiltered, our take on startups, venture and the people who build them.

Explore founder tools → Read VC Unfiltered →