Careers
We are building the universal verification layer that is needed for safe, secure, and correct software, and we are looking for the people who will build it with us.
The foundation is formal verification, theorem proving, programming languages and Lean.
We're also building the product, forward-deployed engineering, developer experience, and go-to-market that bring verification to the world's code.
If this mission excites you, we would like to hear from you.
Build a safer future with us – Apply to Join
ApplyRead our Privacy Policy for information about how we handle job application data.