Product Manager, Math Agents, DeepMind (Fixed Term Contract)
3 days ago
Drive the product strategy, requirements, and execution for the math agents portfolio, guiding initiatives across agentic maths research and formal proving, including AI co‑mathematician, AlphaProof, AlphaProof Nexus, and more. You will lead the development and deployment of agentic systems, bridg