Alignerr is seeking an Applied Formal Methods Researcher to translate complex human-written proofs into machine-verifiable formalizations using Lean 4 and related systems. You will analyze proofs across domains, identify gaps, and design formalizations that push the boundaries of automated reasoning.
This remote hourly contract offers flexible hours (10–40 per week) and collaboration with AI researchers to advance mechanized mathematics.
#J-18808-Ljbffr
Remote Lean 4 Formal Methods Researcher for AI Proofs 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.
