Loading opportunity…
All opportunities
AI Training · Project
Mathematician – Foundations & Formal Proof (AI Training)
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid....
PLATFORMAlignerr
LOCATIONRemote
PAY$170-200/hr
SCHEDULESee role requirements
LAST CHECKED28 Sept 2026
THE OPPORTUNITY
Put your skills to work.
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid....
Relevant skills
A few things to check
- Location and experience requirements.
- Schedule, compensation, and assessment process.
- Current availability on Alignerr.