Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine-checkable Lean 4 proofs. This fully remote, hourly contract role targets professionals who enjoy bridging human intuition with formal verification.
You will work with AI researchers to improve proof strategies, formalize classic results, and develop reproducible proof scripts while adhering to rigorous mathematical standards and proof assistant idioms.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer: Formalization Specialist in London 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.
