AlignerrAlignerr
Applied Formal Methods Researcher (Lean 4)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4Formal MethodsMathematical ProofsMechanized Mathematics
About this role
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of mechanized mathematics — fully...
Similar AI training jobs
Researcher - Lean 4 & Formal Proof Systems
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Formal Verification Scientist (Lean 4 & Mathlib)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Lean 4 Mathematical Formalization Expert
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction