A leading AI research partner is seeking a Mathematics Specialist to work remotely. You will write advanced mathematical proofs in Lean, collaborating with researchers and focusing on formal verification. The ideal candidate has a Master's degree in Mathematics and experience with proof assistants. This role offers competitive pay, flexible hours, and the opportunity to work on cutting-edge AI projects. Join a team committed to advancing mechanized mathematics. #J-18808-Ljbffr