Sr. Applied Scientist, Agentic Automated Reasoning Group at Amazon