Applied Scientist, Agentic Automated Reasoning
at Amazon
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep