Alignerr is seeking mathematicians with formal verification experience to translate complex, informal mathematical proofs into machine-verifiable proofs using proof systems like Lean. Candidates should hold at least a Master's degree in Mathematics, Logic, Theoretical Computer Science, or a related field, and have hands-on experience with formal proof systems such as Lean, Coq, or Isabelle/HOL. The role is a fully remote, flexible hourly freelance contract.