Alignerr is seeking mathematicians with a Master's degree or higher to translate informal mathematical proofs into formal systems like Lean to improve AI reasoning. Candidates must have hands-on experience with proof assistants and a strong foundation in rigorous proof writing. This is a fully remote, flexible freelance role focused on advancing AI reliability and formal verification.