Careers
We're hiring
We are looking for exceptional individuals to help us shape the future of mathematics. Our ideal candidates combine a passion for formal mathematics with strong technical skills. You'll work at the cutting edge where mathematics meets computer science and AI, making mathematical knowledge verifiable and accessible. Join us in creating the foundation for the next generation of mathematical discovery and reasoning!
Open Roles
We currently have the following open roles:
Get Involved
Interested in joining our mission or collaborating with the team? Contact us to explore opportunities for involvement, partnerships, or contributions to the future of formal mathematics.