Alignerr is seeking mathematicians with expertise in formal proof systems like Lean to translate complex human arguments into machine-verifiable code for AI research. Candidates should hold at least a Master's degree in a STEM field and have hands-on experience with proof assistants. This is a fully remote, flexible freelance role focused on advancing AI reliability and formal reasoning.