May be filled
Formal Verification Scientist (Lean 4 & Mathlib)
Glasgow, Escocia, Reino Unido
2026-02-08
170,00 US$/hora - 200,00 US$/hora
AI Summary
Powered by ClaudeLocation: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research.
Job description
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research.
Get a weekly digest of similar roles
Save this search for Formal Verification Scientist (Lean 4 & Mathlib) in Glasgow, Escocia, Reino Unido around 170,00 US$/hora - 200,00 US$/hora and get the strongest matches every week.
Privacy-first. Unsubscribe anytime.