Alignerr is seeking a Lean 4 Proof Engineer to translate dense mathematical arguments into machine-verified formalizations. You will work remotely on frontier AI verification projects, focusing on clarity, structure, and correctness of Lean proofs.
Ideal candidates hold a Master’s or higher in a mathematical field and have hands-on experience with Lean, Coq, Isabelle/HOL, or Agda. This is a flexible hourly contract offering substantial mathematical and verification responsibilities.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer for Formalization employer: Alignerr Corp.
Join a leading global AI research firm that values innovation and collaboration, offering a dynamic remote work environment for an Applied Physicist. With competitive pay, flexible scheduling, and a strong emphasis on employee growth, this role provides the opportunity to engage in cutting-edge projects while contributing to the advancement of AI technology. Experience a supportive culture that encourages creativity and professional development, making it an ideal place for those passionate about physics and AI.
