About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the world's hardest problems? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the frontier of mechanized mathemat