Join Our Team

We’re building products to make software correct, understandable, and secure. Right now, AI has raised the floor on software engineering. We’re building for the world where it raises the ceiling.

Who we are

We’re a team of researcher-builders who prioritize impact. We’ve developed cryptography which secures trillions of internet connections daily, helped nonprofits raise tens of millions of dollars, and built experimental educational programs serving hundreds of students. We’ve worked at leading companies like Jane Street, 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

Who we’re looking for

We’re hiring engineers and researchers who want to work across AI, programming languages, and security.

Open roles:

• ML research engineers: $150–250K + generous equity
• ML research scientist: $300–500K + generous equity
• Systems engineers: $150–250K + generous equity
• Senior SWE: $300–500K + generous equity
• 3-6 month Resaerch Fellowship: $125K per year prorated

If this sounds exciting to you, apply here.