Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments