AlignerrAlignerr
Mathématicien(ne) – Formalisation & Fondements de l'IA (Contrat à distance)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
MathematicsFormal ProofLean 4mathlibProof VerificationTheorem ProvingMathematical FormalizationMachine-Checked ProofsTopologyAlgebraMathematical AnalysisMathematical LogicData AnnotationData Quality EvaluationAI Training Workflows
About this role
Votre expertise en mathématiques formelles peut façonner l'avenir de l'IA — un rôle de contrat entièrement à distance, flexible et très bien rémunéré....
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 – Formal Proof & 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