AlignerrMathematical Formalization Specialist (Lean / Formal Proof Systems)$50–$150/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrLean 4 Mathematical Formalization Expert$170–$200/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrMathematical Formalization Specialist$50–$150/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrMathematics Expert (Masters/PhDs)$75–$90/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrMathematics Researcher (Masters/PhDs)$75–$90/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrMathematics Specialist (Masters/PhDs)$75–$90/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrLean 4 Proof Engineer - Mathematical Formalization$170–$200/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
AlignerrMathematician (Foundations / Formalization)$170–$200/hrWorldwideContractAI Expert - MathematicsJul 14, 2026
WeekdayMathematics Subject Matter Expert (AI Training)$20–$40/hrIndia, United StatesContractAI Expert - MathematicsJul 3, 2026