We’re building the future of verified software at Theorem Labs. Our mission is to help humanity understand, trust, and leverage vastly more complex computation through formal verification and proof systems.
If you’re passionate about programming languages research, formal methods, and building tools that ensure software correctness, we’d love to hear from you.
We don't have any open positions at the moment, but we're always interested in hearing from exceptional candidates.