Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical argumentation into machine-verifiable Lean code. This fully remote, hourly contract role focuses on precision, structure, and formal verification, collaborating with AI researchers to push the boundaries of mechanized mathematics.
You will work on Lean 4 formalizations, test proofs, and refine strategies for scalable formalization projects, including collaboration with AI teams and researchers.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer for Formal Math 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.
