A leading AI research organization is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This fully remote role offers flexibility with 10-40 hours per week and focuses on improving formal verification pipelines. A Master’s degree in Mathematics or a related field and strong skills in rigorous proof writing and Lean are essential. Collaborate on cutting-edge AI projects, contributing to a meaningful and technically demanding work environment.
#J-18808-Ljbffr