The Automated Reasoning checks team is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale.
You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment.
Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/
As an Applied Scientist in the Agentic Automated Reasoning Group, you will play a pivotal role in shaping product features from beginning to end. You will:
* Define and implement new automated reasoning features that employ scalable and efficient approaches to solve complex problems using neural learning and symbolic/formal reasoning
* Apply software engineering best practices to ensure a high standard of quality for all team deliverables
* Work in an agile, startup-like development environment
* Deliver high-quality scientific artifacts
* Work with the team to help drive business decisions
Key job responsibilities
* Design and implement scalable, production-grade neuro-symbolic systems that integrate formal reasoning with GenAI to deliver reliable, verifiable outcomes for AWS customers.
* Collaborate cross-functionally with product, engineering, and science teams as well as external customers to deeply understand pain points, gather requirements, and translate them into neuro-symbolic features that solve real-world problems.
* Enhance and extend the capabilities of formal reasoning systems to meet the demands of GenAI and agentic applications - including areas such as hallucination detection, policy verification, and automated guardrails.
* Help drive adoption and expand the impact of neuro-symbolic approaches.
* Own the end-to-end science lifecycle - from research and experimentation through production deployment - defining metrics to measure system performance and the real-world impact of neuro-symbolic solutions.
* Foster a culture of scientific rigor and raise the bar across the team.
* Advance the state of the art through publications at top-tier venues, patents, or open-source contributions, strengthening Amazon's position as a leader in automated reasoning and neuro-symbolic AI.
A day in the life
As an Applied Scientist on the Agentic Automated Reasoning team, you'll design and build neuro-symbolic systems that mathematically verify AI-generated policy content. Day to day, you'll run experiments and invent features to improve Automated Reasoning checks in Amazon Bedrock Guardrails, collaborate with engineering and product teams to ship features into production, and partner with other AWS agentic AI teams to integrate neuro-symbolic reasoning into workflows. You'll practice customer obsessed science for our customers in regulated industries to translate real-world policy challenges into research priorities, while publishing at top-tier venues.
About the team
You will be working with a team of formal methods and machine learning specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers.
BASIC QUALIFICATIONS
- PhD, or a Master's degree and experience in CS, CE, ML or related field research
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in investigating, designing, prototyping, and delivering new and innovative system solutions
PREFERRED QUALIFICATIONS
- PhD in computer science, machine learning, engineering, or related fields
- Experience delivering results for large, cross-functional initiatives/projects
- Experience working with Data & AI related technologies, including, but not limited to, AI/ML, GenAI, Analytics, Database, and/or Storage
- Experience in communicating technically, at a level appropriate for the audience
- Experience in formal verification, program analysis, constraint-solving, symbolic execution, model checking, SAT/SMT solver implementation and applications, mechanical theorem and/or code-reasoning languages such as Lean
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
USA, NY, New York - 172,400.00 - 223,400.00 USD annually
USA, WA, Seattle - 142,800.00 - 193,200.00 USD annually
