Remote Lean 4 & Mathlib Formal Verification Scientist

Alignerr is seeking a Formal Verification Scientist for a fully remote hourly contract. You will translate advanced mathematical arguments into Lean 4 proofs, collaborating with AI research teams to push the frontier of mechanized mathematics. Requirements include a Master’s degree and hands‑on experience with Lean/Coq/Isabelle/HOL; you will formalize informal proofs and help design verification strategies in a flexible, ongoing project environment. #J-18808-Ljbffr