Remote Researcher: Lean 4 & Formal Proofs for AI

A leading AI research partner is seeking a Researcher for Lean 4 & Formal Proof Systems. This remote role involves translating informal proofs into machine-verifiable formalizations, requiring a Master's in Mathematics or a related field. Candidates should have hands-on experience with Lean and a strong foundation in mathematical reasoning. The position offers competitive pay and the opportunity to work on cutting-edge AI projects with a flexible commitment between 10-40 hours per week. #J-18808-Ljbffr