Alignerr is seeking Applied Formal Methods Researchers to formalise advanced mathematics in Lean 4, at the boundary of human reasoning and machine verifiability. This remote hourly contract is built for mathematicians who enjoy turning dense arguments into machine-checkable proofs.
Work remotely 10–40 hours per week, collaborate with researchers to improve verification pipelines, and produce readable proof scripts aligned with proof assistant idioms.
#J-18808-Ljbffr
Remote Lean 4: Applied Formal Methods Researcher 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.
