Applied Scientist, Automated Reasoning

Amazon; Nashville, Northern (TN, KY); On-site; USD 180,000 - 240,000; Full time

Job summary

Amazon Development Center U.S., Inc. is seeking Applied Scientists in AWS Automated Reasoning to develop formal methods, automated reasoning techniques, and neuro-symbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services.

The work spans cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems, using interactive theorem proving, constraint solving, and neuro-inspired proof search.

Job description

Job ID: 10502706 | Amazon Development Center U.S., Inc.

Application deadline: Applications will be accepted on an ongoing basis

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.