AlignerrAlignerr
Mathematician – Foundations & Formal Proof (AI Training)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Formal ProofMathematical Proof WritingTheorem ProvingProof VerificationMathematical FormalizationmathlibFormal LogicTopologyAbstract AlgebraMathematical AnalysisData AnnotationData Quality EvaluationAI Training
About this role
Put your advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid....
Similar AI training jobs
Mathematician – Foundations & Formalization (AI Research Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formal Systems & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formalization & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician (Foundations / Formalization)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction