Alignerr is seeking a Researcher to translate informal mathematical proofs into Lean 4 and related systems for AI training and formal verification research. You will work remotely, shaping formal proofs that AI can understand and automate, collaborating with researchers to refine strategies and ensure rigorous, machine-verifiable results.
The role combines mathematics and computer science, requiring strong proof-writing skills, experience with Lean/Coq/Isabelle, and a passion for mechanized
#J-18808-Ljbffr
Remote Researcher: Lean 4 & Formal Proofs for AI in Glasgow 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.
