Lean 4 / Mathlib Subject Matter Expert

Stream: job postings

[Luis Cordova]

We’re seeking an experienced Pure Mathematics Expert to support AI training data projects for leading AI model builders and research organizations.

In this role, you’ll define mathematical quality standards, review proofs and reasoning outputs, and provide expert guidance to improve rigor, consistency, and clarity across datasets, problem sets, and annotated proofs. This is hands-on quality control and standard-setting, not application development.

What you’ll do

• Set and enforce quality standards for mathematical rigor, logic, and notation
• Review and QA proof annotations, theorem classifications, and symbolic reasoning samples
• Provide clear remediation feedback on logical, notational, or structural issues
• Help define workflows, SOPs, and “gold standard” reference materials
• Vet contributors and improve output quality through structured feedback
• Advise on edge cases (nonstandard proofs, advanced or novel formulations)

Ideal background

• Advanced academic or professional experience in pure mathematics (e.g., algebra, topology, analysis, number theory, logic)
• 5+ years working with formal proofs or advanced theoretical material
• Strong written communication and attention to mathematical detail
• Comfortable enforcing high standards across distributed contributors

Details

• Remote, freelance, project-based work
• Pay range: $50–$100 USD/hour, based on experience and scope

Please Apply at: https://job-boards.eu.greenhouse.io/agency/jobs/4707891101?gh_src=ga1gabg2teu

Keep in mind, we are unable to hire from some countries. If you are unable to apply for this reason, please keep in mind it doesn't reflect your skills or expertise.

Please reach out with any questions.