Amazon Development Center U.S., Inc.
Technology
AppliedScientist,AgenticAutomatedReasoningGroup
“Applied Scientist, Agentic Automated Reasoning Group at Amazon Development Center U.S., Inc.. Skills: Automated Reasoning, Neuro-symbolic AI, GenAI, Formal methods. Define automated reasoning features. Implement automated reasoning features”
What You'll Achieve.
Deliver reliable outcomes; Deliver verifiable outcomes; Solve real-world problems; Meet demands of GenAI; Meet demands of agentic applications; Strengthen Amazon's position; Delight customers
Industry & Context.
Root cause analysis; Troubleshooting; Mathematical proofs
What They're Looking For.
Must Have
PhD or Master's degree and experience, Experience in patents or publications, Experience programming in Java, C++, Python, Experience designing, prototyping, and delivering solutions
Nice to Have
PhD in computer science, machine learning, engineering, Experience delivering results for large initiatives, Experience with Data & AI technologies, Experience communicating technically, Experience in formal verification, Experience in program analysis, Experience in constraint-solving, Experience in symbolic execution, Experience in model checking, Experience in SAT/SMT solver implementation, Experience in mechanical theorem, Experience in code-reasoning languages
What You'll Do.
Define automated reasoning features
Implement automated reasoning features
Apply software engineering best practices
Ensure high standard of quality
Work in agile development environment
Deliver scientific artifacts
Drive business decisions
Design neuro-symbolic systems
Integrate formal reasoning with GenAI
Collaborate cross-functionally
Understand customer pain points
Translate requirements into features
Enhance formal reasoning systems
Extend formal reasoning systems
Drive adoption of neuro-symbolic approaches
Expand impact of neuro-symbolic approaches
Own science lifecycle
Measure system performance
Measure solution impact
Foster scientific rigor
Raise bar across team
Advance state of the art
Publish at top-tier venues
Make open-source contributions
Build neuro-symbolic systems
Verify AI-generated content
Improve Automated Reasoning checks
Ship features into production
Integrate neuro-symbolic reasoning
Practice customer obsessed science
Translate policy challenges into research
Publish at top-tier venues
How You'll Work.
Team & Collaboration
Cross-functionally with product; Cross-functionally with engineering; Cross-functionally with science teams; With external customers; With engineering teams; With product teams; With other AWS teams
Communication Scope
Verbal communication; Written communication; Technical communication
Process & Methodology
Agile
Applying for this Applied Scientist, Agentic Automated Reasoning Group role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Development Center U.S., Inc.?
Real rants from real employees. Read before you apply.