AlignerrAlignerr
Mathematician (Foundations / Formalization)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
MathematicsMathematical ProofsLean 4Formalization
About this role
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall...
Similar AI training jobs
Mathematician – Foundations & Formal Proof (AI Training)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Foundations & Formalization (AI Research Contract)
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