Remote Researcher: Lean 4 & Formal Proofs
4 hours ago
Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems, with Lean strongly preferred. Researcher - Lean 4 & Formal Proof Systems. We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof langua