Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate advanced mathematical arguments into precise