Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematics into Lean proofs, shaping how AI reasons about truth, proof, and logic.
This fully remote, hourly contract targets mathematicians who love rigorous proof and formalization. You will formalize proofs in Lean 4, analyze cross-domain structures, and contribute to Mathlib-like libraries while collaborating with AI researchers to advance verification pipelines.
#J-18808-Ljbffr
Remote Lean 4 Formal Verification Scientist 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.
