Alignerr is seeking a Researcher to advance Lean 4 and formal proof systems within AI training. You will translate complex mathematical arguments into precise Lean formalizations, push the boundaries of what proof assistants can express, and collaborate with AI researchers on verification pipelines.
This fully remote, hourly contract role offers flexible hours (10–40 per week) and the opportunity to contribute to cutting-edge mechanized mathematics while expanding your expertise in Lean 4, type
#J-18808-Ljbffr
Remote Researcher: Lean 4 & 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.
