Alignerr is seeking Applied Formal Methods Researchers to translate complex mathematical arguments into machine-verifiable Lean 4 proofs to help train AI reasoning. The company is looking for candidates with a Master's degree or higher in Mathematics or related fields who have hands-on experience with proof assistants like Lean, Coq, or Isabelle/HOL. This is a fully remote, flexible freelance role involving 10–40 hours of work per week.