Applied Scientist, Agentic Automated Reasoning Job ID: ******** | Amazon Development Centre (London) Limited The Agentic Automated Reasoning Group is building the next generation of software verification tools that combine advances in artificial intelligence, the computational capacity of the cloud,