AlignerrAlignerr
Researcher - Lean 4 & Formal Proof Systems
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Formal VerificationTheorem ProvingMathematical FormalizationAdvanced Mathematics
About this role
Get paid up to $200/hr to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning....
Similar AI training jobs
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Applied Formal Methods Researcher (Lean 4)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Formal Verification Scientist (Lean 4 & Mathlib)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction