Lean 4 Proof Engineer - Mathematical Formalization
3 days ago
Manchester
Develop readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms. Translate informal mathematical proofs into Lean 4 (and related proof systems) with clarity, structure, and correctness. Genuinely passionate about formal verification, proof assistants,