Software Development Manager, AWS AI Agentic Automated Reasoning (AR) at Amazon