Remote Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr is seeking Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean 4 proofs. This fully remote role is designed for those passionate about rigorous proof and formal systems.

The ideal candidate holds a Master’s degree in a relevant field and has hands-on experience with proof assistants like Lean. Your work will contribute to advancing AI’s understanding of mathematics while enjoying freelance autonomy and flexibility.