Alignerr seeks a Researcher to translate dense mathematical proofs into Lean 4, strengthening machine-verifiable reasoning for AI training. You will analyze proofs, identify gaps, and develop formalizations with team collaboration across AI researchers.
Ideal candidates hold a strong math background, Lean experience (3 or 4), and a passion for formal verification and mechanized mathematics in an autonomous, freelance-capable setting.
#J-18808-Ljbffr
Remote Lean 4 Researcher — Formal Proof Architect in London 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.
