Job Description Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn We're looking for mathematicians and