Sr SDE, AWS AI Agentic Automated Reasoning (AR) at Amazon