A leading AI research organization is seeking a Formal Verification Scientist to work remotely. This role requires deep expertise in Lean and formal proof languages to translate complex mathematical proofs into machine-verifiable formats. Ideal candidates have a Master's degree in Mathematics or a related field, alongside proficiency in proof writing. Join a cutting-edge team focusing on advanced AI projects with competitive pay and flexibility.
#J-18808-Ljbffr