Remote Lean 4 Formal Verification Scientist

Alignerr is seeking a Formal Verification Scientist to translate advanced human-written proofs into precise Lean-based formalizations. This fully remote, hourly contract role offers 10–40 hours per week for mathematicians who thrive at the intersection of rigorous proof construction and cutting-edge CS. You will translate informal arguments into clean, structured machine-verifiable proofs, collaborate with AI researchers, and push the boundaries of what proof assistants can express and automate.