• Jobs
  • Startups
  • Hire
LoginSign up

Theorem

Theorem has 4 open roles. Stated pay range: $150k – $500k a year.

Open roles

  • Theorem logo
    Senior SWE

    Theorem

    • San Francisco, CA
    • Senior
    • $300k–$500k
    Sponsors visasAI-native
    Y Combinator
  • Theorem logo
    ML Research Scientist

    Theorem

    • San Francisco, CA
    • $300k–$500k
    Sponsors visasAI-native
    Y Combinator
  • Theorem logo
    ML Research Engineer

    Theorem

    • San Francisco, CA
    • $150k–$250k
    Sponsors visasAI-native
    Y Combinator
  • Theorem logo
    Systems Engineer

    Theorem

    • San Francisco, CA
    • $150k–$250k
    Sponsors visasAI-native
    Y Combinator

About

Theorem logo

Theorem

Program verification so even your systems engineers can vibecode

YC X25

Claim theorem.dev

Work at theorem.dev? Sign in to claim this org and manage its profile.

Unlock human wisdom
ThesisTermsPrivacy
© 2026 Saywise Inc.