Work with us
Introduce yourself.
Interested in bringing mathematical certainty to software alongside experts in AI, formal verification, and Lean? Tell us a little about yourself and what you’d bring to the team.
Work with us
Interested in bringing mathematical certainty to software alongside experts in AI, formal verification, and Lean? Tell us a little about yourself and what you’d bring to the team.