Alignerr is seeking mathematicians with expertise in formal proof systems like Lean to translate complex human-written proofs into machine-verifiable formats for AI research. Candidates should hold at least a Master's degree in a relevant field and have hands-on experience with proof assistants. This is a fully remote, flexible freelance role focused on pushing the boundaries of formal verification and machine reasoning.