Alignerr Corp. seeks a Formal Verification Scientist to translate dense mathematical arguments into machine-verifiable Lean 4 proofs. This fully remote, hourly contract role targets mathematicians who love rigorous proof construction and mechanized reasoning. You will work on translating informal arguments into machine-verifiable formalizations, identify gaps, and push the limits of proof assistants while contributing to automating verification pipelines.
Remote Lean 4 Formal Verification Scientist (Contract) 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.
