AlignerrAlignerr
Mathematical Formalization Specialist
Pay
$50–150/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
LeanMathematical Proof FormalizationInteractive Theorem Proving
About this role
Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible....
Similar AI training jobs
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician (Foundations / Formalization)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Researcher - Lean 4 & Formal Proof Systems
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction