AlignerrAlignerr
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Pay
$50–150/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
LeanFormal Proof SystemsMathematical FormalizationFormal MathematicsTheorem Proving
About this role
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized....
Similar AI training jobs
Mathematical Formalization Specialist
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematician (Foundations / Formalization)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Formal Verification Scientist (Lean 4 & Mathlib)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction