A leading AI research firm is seeking a Researcher - Lean 4 & Formal Proof Systems. This remote position is ideal for mathematicians with a master's degree, rigorous proof writing skills, and hands-on experience with formal proof systems such as Lean. You will translate mathematical arguments into formal proofs and collaborate on innovative AI projects. Enjoy competitive pay and the flexibility of remote work while pushing the boundaries of formal verification in mathematics.
#J-18808-Ljbffr