Theorem Jobs & Careers

About Theorem

Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!

Open Jobs at Theorem (4)

• Senior SWE
  San Francisco, CA, US3+ yearsFull-time$300k – $500kPosted Oct 26, 2025
• ML Research Scientist
  San Francisco, CA, US3+ yearsFull-time$300k – $500kPosted Oct 26, 2025
• Systems Engineer
  San Francisco, CA, USAny (new grads ok)Full-time$150k – $250kPosted Oct 26, 2025
• ML Research Engineer
  San Francisco, CA, USAny (new grads ok)Full-time$150k – $250kPosted Oct 26, 2025