Alignerr is seeking Formal Verification Scientists to translate advanced mathematical arguments into machine-verifiable proofs using Lean 4. The role involves collaborating with AI research teams to formalize complex proofs and stress-test the limits of proof assistants. Ideal candidates hold a Master's degree or higher in a STEM field and have hands-on experience with proof assistants like Lean, Coq, or Isabelle/HOL.