A leading AI research partnership is seeking a Formal Verification Scientist to translate informal mathematical proofs into machine-verifiable formalizations using Lean. The ideal candidate will have a Master's degree in a relevant field and hands-on experience with formal proof languages. This role combines mathematics and computer science, working on cutting-edge AI models while emphasizing clarity and correctness. This is a remote position requiring 10-40 hours per week, with a competitive hourly rate ranging from $70 to $150. #J-18808-Ljbffr