A leading AI research company is looking for a Formal Verification Scientist to formalize advanced mathematical proofs in Lean. This remote role requires a Master's degree in Mathematics and experience with formal proof languages. Responsibilities include translating informal proofs, analyzing struc