Alignerr is seeking mathematicians with advanced degrees to translate complex human proofs into machine-verifiable formalizations using systems like Lean. The role involves analyzing proofs, identifying logical gaps, and collaborating with researchers to improve AI reasoning and formal verification pipelines. Candidates should have deep experience in rigorous proof writing and a strong interest in the future of mechanized mathematics.