AlignerrAlignerr
Formal Verification Scientist (Lean 4 & Mathlib)
Pay
$170–200/hr
Work
Remote · Contract
Eligibility
No stated location restriction
Field
Science & research
Skills
Lean 4MathlibFormal VerificationFormal ProofsAdvanced Mathematics
About this role
Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p...
Similar AI training jobs
Applied Formal Methods Researcher (Lean 4)
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Lean 4 Proof Engineer - Mathematical Formalization
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Researcher - Lean 4 & Formal Proof Systems
AlignerrAlignerr
$170–200/hrRemote · ContractNo stated location restriction
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
AlignerrAlignerr
$50–150/hrRemote · ContractNo stated location restriction