AlignerrAlignerr
Mathematician – Proof Formalization & AI Research (Remote Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Formal ProofsTheorem ProvingProof VerificationMathematical FormalizationMathlibMathematical LogicTopologyAlgebraMathematical AnalysisData AnnotationData Quality EvaluationAI Training
About this role
Put your formal mathematics expertise to work shaping the future of AI — a fully remote, flexible contract role open to Canadian mathematicians....
Similar AI training jobs
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
Mathematician – Formal Proof & AI Research (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formalization & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction