May be filled
Formal Verification Scientist (Lean 4 & Mathlib) - Alignerr
Birmingham, Inglaterra, Reino Unido
2026-02-08
170,00 US$/hora - 200,00 US$/hora
AI Summary
Powered by ClaudeWrite and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview - We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean.
Job description
Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Location: Remote Commitment: 10–40 hours/week Role Overview - We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean.
Get a weekly digest of similar roles
Save this search for Formal Verification Scientist (Lean 4 & Mathlib) - Alignerr in Birmingham, Inglaterra, Reino Unido around 170,00 US$/hora - 200,00 US$/hora and get the strongest matches every week.
Privacy-first. Unsubscribe anytime.