Amazon Science in London seeks an Applied Scientist to advance formal methods, automated reasoning, and neurosymbolic techniques across AWS services and customer applications. You will design algorithms, verify critical systems, and mentor teams while collaborating with cross-functional partners to deliver dependable, scalable solutions at Amazon scale.
This is a unique opportunity to shape verification tooling and apply cutting-edge research to real-world security, reliability, and safety
#J-18808-Ljbffr
Applied Scientist, Automated Reasoning & Verification employer: Amazon Science
Amazon Advertising is an exceptional employer, offering a dynamic work environment where innovation thrives and employee growth is paramount. As a Principal Applied Scientist in the Trusted Supply team, you will have the opportunity to lead cutting-edge research that directly impacts a multi-billion dollar business while collaborating with top-tier professionals in a culture that values diversity and scientific rigor. With access to vast resources and a commitment to employee development, Amazon provides a unique platform for meaningful contributions and career advancement in the fast-evolving field of computational advertising.
