Applied Scientist, AWS Automated Reasoning at Amazon