AlignerrAlignerr
Mathematician – Formal Systems & AI Foundations (Remote Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
MathematicsFormal ProofMathematical LogicLean 4Theorem ProvingProof VerificationMathematical FormalizationmathlibData AnnotationData Quality EvaluationAI Training WorkflowsTopologyAlgebraMathematical Analysis
About this role
Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding....
Similar AI training jobs
Mathematician – Formalization & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formal Proof & AI Research (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formal Proof & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Foundations & Formalization (AI Research Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction