Alignerr Corp. is seeking a Researcher to translate advanced mathematical arguments into Lean 4 proofs for AI training. You will verify reasoning, formalize proofs, and refine strategies with AI researchers in a fully remote, flexible contract. The role demands a strong mathematics background, experience with Lean or similar systems, and the ability to produce clear, structured proof scripts that stand up to rigorous scrutiny.
Remote Lean 4 Researcher - Formal Proofs for AI in Edinburgh 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.
