AlignerrAlignerr
Mathematician – Formal Proof & AI Research (Remote Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Formal ProofMathematical LogicTheorem ProvingProof VerificationMathematical FormalizationmathlibMachine-Checked ProofsTopologyAlgebraMathematical AnalysisData AnnotationData Quality EvaluationAI Training Workflows
About this role
The Netherlands has a proud tradition in logic and formal systems — put your mathematical expertise to work shaping frontier AI, fully remote and on y...
Similar AI training jobs
Mathematician – Formal Systems & 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
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