← All roles

Senior Applied Scientist, AWS Quick

Amazon· Applied Science
Apply on company site
Hybrid (Santa Clara, CA)$192.2k - $260kFull-timePosted 5mo ago

About the role

Join the AWS AI science team to build next-generation models for intelligent automation. Partner with product, engineering, and science teams to solve real-world problems using neuro-symbolic AI, GenAI, and formal reasoning across AWS services.

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.
  • Proactively identify and pursue new opportunities to apply formal reasoning solutions across AWS services and customer domains, driving adoption and expanding the impact of neuro-symbol-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.
  • Mentor junior scientists and engineers, providing technical guidance, fostering a culture of scientific rigor, and raising 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.

Qualifications

  • PhD, or Master's degree and 5+ years of applied research experience
  • Experience programming in Java, C++, Python or related language

Skills

Required:PhD or Master's degree in a quantitative fieldProgramming (Java, C++, Python)
Nice to have:Formal verification / program analysis / constraint-solving

Benefits

  • Base salary with sign-on payments and RSUs
  • Comprehensive benefits including health insurance (medical, dental, vision, prescription), life insurance, mental health support, FSAs, adoption and surrogacy reimbursement, 401(k) matching, paid time off, and parental leave
Last updated Oct 25, 2026. Interested? Apply on the company site.

About Amazon

Amazon.com, Inc. or its affiliates

liquid-ai-recruiting-target
Company profileWebsite

More open roles at Amazon