Alignerr is seeking a Lean 4 Proof Engineer to formalize rigorous mathematical arguments into machine-verifiable proofs. You will translate informal proofs into Lean 4 formalizations, work with experts to push the boundaries of automated provers, and design verification strategies for AI research teams.
Required are a Master's degree or higher and robust experience with Lean (3/4) plus Coq/Isabelle/HOL/Agda.
#J-*****-Ljbffr