Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research. This is a fully remote, hourly contract role for mathematicians who value precision and rigorous reasoning.
Join a team that translates informal arguments into machine-verifiable proofs, collaborates with AI researchers, and pushes the boundaries of what proof assistants can achieve, with flexible schedule between 10–40 per