Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for Lean 4 Proof Engineers to translate advanced human-written mathematics into precise, machine-verifiable formalizations — working at