Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-checkable formalizations. The role emphasizes rigorous proof construction, leveraging Lean 4 and related proof systems. Remote contract, 10–40 hours per week, with collaboration across researchers to advance AI-driven formal verification workflows. You will develop readable proof scripts, identify gaps in existing libraries, and help extend formalization capabilities for complex mathematical #J-18808-Ljbffr
Remote Lean 4 Proof Engineer — Formalization for AI 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.
