Researcher - Lean 4 & Formal Proof Systems
il y a 2 jours
Birmingham
Have hands‑on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable formal systems — Lean 4 strongly preferred. Translate informal mathematical proofs into clean, correct, machine-verifiable Lean 4 formalizations. Researcher – Lean 4 & Formal Proof Systems (AI Trainin