Loading opportunity…
All opportunities
AI Training · Project
Researcher - Lean 4 & Formal Proof Systems
Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning....
PLATFORMAlignerr
LOCATIONRemote
PAY$170-200/hr
SCHEDULESee role requirements
LAST CHECKED28 Sept 2026
THE OPPORTUNITY
Put your skills to work.
Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning....
Relevant skills
A few things to check
- Location and experience requirements.
- Schedule, compensation, and assessment process.
- Current availability on Alignerr.