Theorem

Program verification so even your systems engineers can vibecode

• Team: 2-10
• Headquarters: San Francisco
• Sectors: Developer Tools & Infra
• Investors: Y Combinator

4 open roles

• ML Research Scientist — San Francisco, CA, US — $300k - $500k
• ML Research Engineer — San Francisco, CA, US — $150k - $250k
• Systems Engineer — San Francisco, CA, US — $150k - $250k
• Senior SWE — San Francisco, CA, US — $300k - $500k