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 welcome applications from people interested in:

  • Joining full-time as a Lean Metaprogrammer

  • Joining part-time as contractor for our reviewer team

  • Joining part-time as an autoformalization expert for our Formal Frontier team

Informal inquiries may be made to info@mathlib-initiative.org

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.