Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr is seeking a remote Formal Verification Scientist to translate complex mathematical proofs into machine-verifiable Lean 4 formalizations. You will engage with cutting-edge AI research and work autonomously on innovative projects. Candidates should hold a Master's degree in a relevant field and possess a strong foundation in rigorous proof writing.

This role offers flexibility, doing meaningful work while contributing to the future of mechanized mathematics in AI systems.