Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical reasoning into machine-verifiable Lean code. This remote contract role emphasizes precision, structure, and formal argumentation, spanning collaboration with AI researchers to enhance verification pipelines and test the boundaries of current proof assistants.
You will work on translating proofs, analyzing underlying gaps, and developing readable proof scripts within a flexible, remote schedule, with potential for
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer: Formalization Expert 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.
