AI Training · Project

Lean 4 Proof Engineer - Mathematical Formalization

Get paid up to $200/hr to formalize advanced math proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematician...

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 proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and built for serious mathematician...

Relevant skills

A few things to check

Location and experience requirements.
Schedule, compensation, and assessment process.
Current availability on Alignerr.