A cutting-edge AI research organization seeks a Formal Verification Scientist to formalize advanced mathematical proofs using Lean. The ideal candidate will hold a Master's degree in Mathematics or a related field, possess a strong foundation in mathematical reasoning, and have hands-on experience with proof assistants. Responsibilities include translating informal proofs into formal ones and collaborating with researchers to improve verification strategies. This role offers competitive pay, flexible remote work, and the chance to work on innovative AI projects.
#J-18808-Ljbffr