A cutting-edge AI company is seeking a Lean 4 Proof Engineer with expertise in mathematical formalization. This role requires a master’s degree in Mathematics and hands-on experience with formal proof languages, especially Lean. Responsibilities include translating informal proofs into formal structures and collaborating on formal verification processes. The position offers competitive pay and flexible remote work options, focusing on advancing the future of mechanized mathematics.
#J-18808-Ljbffr