A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience in Lean. Candidates should possess enthusiasm for formal verification and have strong communication skills. Join us for competitive pay, flexible work, and the opportunity to collaborate on cutting-edge AI projects.
#J-18808-Ljbffr
#J-18808-Ljbffr