AlignerrAlignerr
Mathematician – Formalization & AI Foundations (Remote Contract)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
MathematicsMathematical Proof WritingFormal ProofLean 4Theorem ProvingProof VerificationMathematical FormalizationmathlibLogicSet TheoryTopologyAlgebraMathematical AnalysisData AnnotationData Quality EvaluationAI Training
About this role
Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule...
Similar AI training jobs
Mathematician – Formal Systems & 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
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