Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, pushing the boundaries of what proof assistants can express and automate.

Work remotely on AI-driven verification projects, collaborating with researchers to refine strategies for scalable formalization. This hourly contract offers flexible 10–40 hours per week and a chance to contribute to frontier research in formal mathematics.