Alignerr is seeking Lean 4 Proof Engineers to translate complex mathematical arguments into machine-verifiable formal proofs to train advanced AI systems. The company is looking for experts 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. This is a fully remote, flexible freelance role involving collaboration with AI research teams to push the boundaries of automated reasoning.