Sr. Applied Scientist, AWS Automated Reasoning at Amazon