AlignerrAlignerr
Lean 4 Mathematical Formalization Expert
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Mathematical FormalizationMathematical Reasoning
About this role
Put your Lean 4 expertise to work shaping the future of AI mathematical reasoning. Remote, flexible, and exceptionally well paid....
Similar AI training jobs
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Applied Formal Methods Researcher (Lean 4)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematical Formalization Specialist
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction
Researcher - Lean 4 & Formal Proof Systems
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction