Alignerr is seeking mathematicians with expertise in formal proof systems to translate human-written arguments into machine-verifiable Lean proofs. Candidates should hold at least a Master's degree in a STEM field and have hands-on experience with tools like Lean, Coq, or Isabelle/HOL. This is a fully remote, flexible freelance role focused on improving AI reasoning and formal verification pipelines.