Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into machine-verifiable knowledge. This fully remote role offers flexibility and is ideal for those passionate about rigorous proof and mechanized mathematics.

Key responsibilities include translating mathematical proofs into Lean 4, analyzing existing proofs to identify gaps, and collaborating with researchers to improve formal verification processes. Strong experience with Lean and a Master’s degree in a related field are required.

#J-18808-Ljbffr…