Alignerr is seeking a researcher to translate informal mathematical proofs into Lean 4 for AI training and mechanized mathematics. The role blends deep mathematics with formal verification, requiring strong proof-writing skills and experience with Lean/Coq/Isabelle/HOL/Agda.
This remote contract offers flexible hours and a collaborative, cutting-edge research environment. You will work on translating proofs, identifying gaps, and developing formalizations that push the capabilities of proof
#J-18808-Ljbffr
Remote Lean 4 Researcher: Formal Proof Systems in Glasgow 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.
