Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematics into machine-verified Lean code. This remote contract role focuses on precision, structure, and sound argumentation, translating informal proofs into formal scripts and exploring the limits of proof assistants. You will work with AI researchers to improve verification pipelines and contribute to high-impact formalization projects in a fully remote setting.
Remote Lean 4 Proof Engineer — Formalization Expert 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.
