Alignerr is seeking an Applied Formal Methods Researcher to translate rigorous proofs into Lean 4 formalizations, contributing to cutting-edge AI research and formal verification. This fully remote, hourly-contract role invites mathematicians with a passion for proof assistants to shape AI foundations and collaborate with AI researchers on verification pipelines.
You'll work 10–40 hours per week, designing clear proof scripts and identifying gaps in proof libraries, with potential for ongoing
Remote Lean 4 Formal Methods Researcher in Cambridge 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.
