Remote Lean 4 Formal Methods Researcher Proofs for AI
hace 4 horas
Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems, with Lean strongly preferred. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Applied Formal Methods Researcher (Lean 4).