Alignerr is seeking a Formal Verification Scientist for a fully remote hourly contract. You will translate rigorous mathematical proofs into Lean 4 formalizations, test proof structures, and push the limits of current proof assistants.
You’ll collaborate with AI researchers to improve verification pipelines and document findings on prover failures. The role requires a Master’s or higher in Mathematics or related fields, strong proof-writing skills, and hands-on experience with
#J-18808-Ljbffr
Remote Formal Verification Scientist — Lean 4 & Mathlib in Oxford 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.
