Careers

Open Roles

We welcome applications from people interested in:

• 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. In most cases a successful applicant will already have experience contributing to high-profile open-source libraries of formal mathematics.