AlignerrAlignerr
Lean 4 Proof Engineer - Mathematical Formalization
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Mathematical FormalizationFormal ProofsProof EngineeringAdvanced Mathematics
About this role
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...
Similar AI training jobs
Researcher - Lean 4 & Formal Proof Systems
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Lean 4 Mathematical Formalization Expert
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematical Formalization Specialist
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction