Join Us

Theorem is a programming languages and AI lab. We expect that infinite time-horizon AI software engineering will be qualitatively different from faster human software engineering. To steer models doing work far beyond what any human has ever done, we do research and build products that scale correctness feedback to arbitrarily complex software development.

Who we are

We’re a team of engineers and researchers who genuinely love software. We’ve developed cryptography which secures trillions of internet connections daily, built infrastructure powering billions of dollars of transactions, and found tens of thousands of zero-days and jailbreaks in systems. We’ve worked at leading companies like Jane Street, Citadel, Google, and Microsoft, and have published research at top venues like NeurIPS, ICML, POPL, and ITP.

You may be a good fit if you

• Pick projects that are a few orders of magnitude bigger, faster, or harder than SOTA
• Have the gumption to try out something before everyone starts talking about it
• Love working on a team that is more than the sum of its parts
• Are practiced in solving last-mile problems

Open Roles

We’re a small team that is growing fast, and we’re hiring across all levels: early-career engineers, senior researchers, and managers. If this sounds exciting to you, apply here.

• ML research engineer: $200K–500K + generous equity
• ML research scientist: $200K–500K + generous equity
• Software engineer: $200K–500K + generous equity
• Research fellowship (3–6mo): $125K/y prorated