Applied Scientist, Agentic Automated Reasoning Group

Applied Scientist, Agentic Automated Reasoning Group

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

The Agentic Automated Reasoning Group pioneers next-generation neuro-symbolic tools—fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. Join us to shape this transformational initiative.

We seek an Applied Scientist to build scalable formal reasoning solutions that delight customers. You will help build tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale.

• 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 high standard quality for all team deliverables.
• Work in an agile, startup-like development environment.
• Deliver high-quality scientific artifacts.
• Collaborate with product, engineering, and science teams to drive business decisions.
• Design and implement scalable, production-grade neuro-symbolic systems that integrate formal reasoning with GenAI to deliver reliable, verifiable outcomes for AWS customers.
• Design and run reinforcement learning pipelines (GRPO, PPO, DPO) to optimize language models for formal reasoning and auto formalization tasks.
• Design and run experiments to measure model quality, latency, and cost tradeoffs across model sizes and training strategies.
• Collaborate cross‑functionally with product, engineering, and external customers to gather requirements and translate them into neuro-symbolic features that solve real‑world problems.
• Enhance formal reasoning systems to meet demands of GenAI and agentic applications—including hallucination detection, policy verification, and automated guardrails.
• Own end-to-end science lifecycle, from research and experimentation through production deployment, defining metrics to measure system performance and real‑world impact.
• Advance the state of the art through publications, patents, or open‑source contributions, strengthening Amazon's position in automated reasoning and neuro‑symbolic AI.

As an Applied Scientist, you design neuro‑symbolic systems that mathematically verify AI‑generated policy content, run experiments, build features for Automated Reasoning checks and Amazon Bedrock Guardrails, collaborate with engineering and product teams, and partner with other AWS agentic AI teams.

You will work with formal methods and machine learning specialists ranging from newly hired PhDs to industry veterans. The team collaborates closely to deliver new features for Automated Reasoning checks that delight our customers.

• PhD or Master’s degree and 4+ years of experience in Computer Science, Electrical Engineering, Machine Learning, or related field.
• Experience with patents or publications at top‑tier peer‑reviewed conferences or journals.
• Proficiency programming in Java, C++, Python, or related language.
• Experience investigating, designing, prototyping, and delivering new and innovative system solutions.

• Experience using Unix/Linux environments.
• Professional software development experience.

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

If you have a disability and need accommodation during the application or hiring process, please visit (Use the "Apply for this Job" box below). for more information.