A leading AI research organization is seeking a Formal Verification Scientist to translate advanced mathematical proofs into Lean. This remote position is ideal for mathematicians with a Master's degree and experience in formal proof languages. Responsibilities include analyzing mathematical arguments, collaborating on formal verification projects, and crafting structured proofs. Competitive pay and the potential for further contract extension. Join a cutting-edge team focusing on AI and mechanized mathematics.#J-18808-Ljbffr