AlignerrAlignerr
Mathematician – Foundations & Formalization (AI Research Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Mathematical ProofMathematical FormalizationLean 4Formal Proof VerificationTheorem ProvingmathlibTopologyAbstract AlgebraMathematical AnalysisMathematical LogicData AnnotationData Quality EvaluationAI Training
About this role
Bring your advanced mathematics and formal proof expertise to the frontier of AI — a fully remote, flexible contract role that rewards deep technical ...
Similar AI training jobs
Mathematician – Formal Proof & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Proof Formalization & AI Research (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Foundations & Formal Proof (AI Training)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician – Formalization & AI Foundations (Remote Contract)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction