Loading opportunity…
All opportunities
AI Training · Project
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized....
PLATFORMAlignerr
LOCATIONRemote
PAY$50-150/hr
SCHEDULESee role requirements
LAST CHECKED28 Sept 2026
THE OPPORTUNITY
Put your skills to work.
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized....
Relevant skills
A few things to check
- Location and experience requirements.
- Schedule, compensation, and assessment process.
- Current availability on Alignerr.