Alignerr is seeking a researcher to translate informal mathematics into Lean 4 formal proofs, advancing AI's handling of formal reasoning. You’ll work remotely on rigorous, machine-checkable formalizations and contribute to the development of verification pipelines with leading AI researchers.
You will analyze proofs, write readable Lean code, and push the boundaries of what proof assistants can automate, with a flexible hour-based contract and opportunities for ongoing collaboration.
#J-18808-Ljbffr
Remote Lean 4 Researcher in Formal Proof Systems 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.
