AlignerrAlignerr
Mathematician – Formal Proof & AI Foundations (Remote Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Formal MathematicsMathematical Proof WritingLean 4Formal Proof AssistantsTheorem ProvingProof VerificationMathematical FormalizationMathlibLogicTopologyAlgebraMathematical AnalysisData AnnotationData Quality EvaluationAI Training
About this role
Put your advanced mathematics expertise to work at the frontier of AI research — a fully remote, flexible contract role open to Brazilian mathematicia...
Similar AI training jobs
Mathematician – Foundations & Formalization (AI Research 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 – 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