Senior Applied Scientist, AWS Quick

Amazon; Reading (MA); On-site; USD 192,200 - 260,000; Full time

Job summary

Amazon in Reading, Massachusetts, seeks a skilled candidate to join the AWS AI science team. The role involves designing and implementing neuro-symbolic systems, while collaborating across teams and mentoring junior staff.

A PhD or Master's degree with significant research experience and programming expertise in languages like Java or Python is required. The salary range is competitive, reflecting the advanced nature of the work and the expertise sought.

Qualifications

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

Responsibilities

• Design and implement scalable, production-grade neuro-symbolic systems.
• Collaborate cross-functionally with product, engineering, and science teams.
• Mentor junior scientists and engineers.

Skills

Java

C++

Python

Formal verification

Program analysis

Constraint-solving

Education

PhD or Master's degree

Job description

Job Overview

Come join the AWS AI science team in building the next generation models for intelligent automation. Amazon Development Center U.S., Inc. (Job ID: 10428524). Amazon is the world‑leading provider of cloud services and offers access to virtually endless data and computational resources. We expect you to develop innovative solutions to hard problems, publish at peer‑reviewed conferences, and partner with technology and business teams to bring ideas into the world.

Key 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 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 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.

Basic Qualifications

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

Preferred Qualifications

• Experience in formal verification, program analysis, constraint‑solving, symbolic execution, model checking, SAT/SMT solver implementation and applications, and mechanical theorem and/or code‑reasoning languages such as Lean.

Salary range: $192,200.00 – $260,000.00 USD annually.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.