Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human mathematical arguments into Lean 4 formalizations — supporting machine-verifiable proofs at the frontier of automated reasoning. This fully remote, flexible contract role is designed for mathematicians who love precision, structure, and the challenge of bridging human intuition with machine-verifiable logic.
Responsibilities include translating informal proofs into Lean 4, analyzing proofs for gaps, constructing
#J-18808-Ljbffr
Remote Lean 4 Formal Methods Researcher in Birmingham 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.
