Senior Applied Scientist, AWS Quick
About the role
AWS AI Science is building next-generation models for intelligent automation. As an Applied Scientist, you will partner with technology and business teams to solve real-world problems, with access to virtually endless data, computational resources, and world-class engineers. You will develop innovative solutions to hard problems and publish findings at peer-reviewed conferences.
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.
- 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-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.
A day in the life
Agentic AI drives innovation at the forefront of artificial intelligence, enabling customers to transform their businesses through cutting-edge AI solutions. We build and deliver the foundational AI services that power the future of cloud computing, helping organizations harness the potential of AI to solve their most complex challenges. You will work with a dynamic team of AI/ML practitioners, applied scientists, software engineers, and solution architects who work backwards from customer needs to create groundbreaking technologies.
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 Master's degree and 5+ years of applied research experience
- Experience programming in Java, C++, Python or related language
Preferred qualifications
- 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
Pay
USA, CA, Santa Clara: $192,200.00 - $260,000.00 USD annually. Your package will also include sign-on payments and restricted stock units (RSUs). Final compensation determined based on factors including experience, qualifications, and location.
Benefits
- 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
- Parental leave