Remote Lean Formalization Researcher

A leading AI research collaboration is seeking a mathematician to translate mathematical proofs into formal structures using Lean. This remote position focuses on rigorous proof construction and collaboration on cutting-edge AI projects. Candidates must hold a Master's degree or higher in Mathematics or a related field, with strong skills in formal verification and proof writing. Join a team pushing the boundaries of mechanized mathematics, offering competitive pay and freelance perks. J-18808-Ljbffr