Amazon Development Center U.S., Inc.
Technology
SeniorAppliedScientist,AWSAgenticAutomatedReasoningGroup
“Senior Applied Scientist, AWS Agentic Automated Reasoning Group at Amazon Development Center U.S., Inc.. Skills: Automated Reasoning, Neuro-symbolic AI, GenAI, Formal verification. Define automated reasoning features. Implement automated reasoning features”
What You'll Achieve.
Deliver reliable outcomes; Deliver verifiable outcomes; Expand impact of approaches; Measure system performance; Measure real-world impact; Strengthen Amazon's position
Industry & Context.
Automated reasoning; Automated guardrails; Root cause analysis
What They're Looking For.
Must Have
PhD or Master's degree, 5+ years applied research experience, 5+ years formal verification experience, 5+ years program analysis experience, 5+ years constraint-solving experience, 5+ years theorem proving experience, Programming in Java, C++, Python
Nice to Have
Experience delivering results for large initiatives, Experience communicating technically, Experience with Data & AI technologies, 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, Lean experience
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 environment
Deliver scientific artifacts
Drive business decisions
Design neuro-symbolic systems
Integrate formal reasoning with GenAI
Deliver verifiable outcomes
Collaborate cross-functionally
Understand pain points
Translate requirements into features
Solve real-world problems
Enhance formal reasoning systems
Extend formal reasoning systems
Detect hallucinations
Identify new opportunities
Pursue new opportunities
Apply formal reasoning solutions
Own science lifecycle
Research and experimentation
Production deployment
Define performance metrics
Measure system performance
Measure real-world impact
Mentor junior scientists
Mentor junior engineers
Provide technical guidance
Foster scientific rigor
Raise bar across team
Advance state of the art
Make open-source contributions
Build neuro-symbolic systems
Mathematically verify content
Improve Automated Reasoning checks
Ship features into production
Integrate reasoning into workflows
Engage with customers
Translate policy challenges
Set research priorities
How You'll Work.
Team & Collaboration
Cross-functionally with product; Cross-functionally with engineering; Cross-functionally with science teams; With external customers; Agile development environment; Formal methods specialists; Machine learning specialists
Communication Scope
Verbal communication; Written communication; Technical communication
Process & Methodology
Agile
Applying for this Senior Applied Scientist, AWS 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.