Applied Scientist, Automated Reasoning

Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services and customer applications. Our tools are called billions of times daily, powering the backbone of Amazon's products and services. We are changing the way computer systems are developed and operated, raising the bar for security, durability, availability, and quality.

At Amazon, automated reasoning is central to maintaining customer trust and delivering delightful customer experiences. Application areas span cloud infrastructure verification, cryptographic assurance, AI safety, drone safety, and formal guarantees for generative AI systems. Our methods range from interactive theorem proving and constraint solving to neuro-inspired proof search

This is a unique opportunity to get in early on a fast-growing segment of the business and help shape the technology, product, and business. You will have a chance to utilize your deep technical expertise within a fast-moving environment and make a large business and customer impact.

Key job responsibilities

…