Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean proofs, shaping how AI reasons about truth and logic. This fully remote, hourly contract role offers flexible hours (10–40 per week) for mathematicians strong in proof writing and Lean tooling.
You will work on algebra, analysis, topology, and logic, producing high-quality Lean formalizations and collaborating with AI researchers to advance formal verification pipelines.
#J-18808-Ljbffr
Lean 4 Proof Architect for AI Reasoning 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.
