Applied Scientist, Agentic Automated Reasoning Group
About the role
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools—fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative.
Responsibilities
- 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 a high standard of quality for all team deliverables
- Work in an agile, startup-like development environment
- Deliver high-quality scientific artifacts
- Support and scale your solutions to meet the ever-growing demand of customer use
- 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
- Foster a culture of scientific rigor and raise 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
Requirements
Basic Qualifications:
- PhD, or a Master's degree and experience in CS, CE, ML or related field research
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in investigating, designing, prototyping, and delivering new and innovative system solutions
Preferred Qualifications
- PhD in computer science, machine learning, engineering, or related fields
- Experience delivering results for large, cross-functional initiatives/projects
- Experience working with Data & AI related technologies, including, but not limited to, AI/ML, GenAI, Analytics, Database, and/or Storage
- Experience in communicating technically, at a level appropriate for the audience
- 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
Qualifications
Basic Qualifications:
- PhD, or a Master's degree and experience in CS, CE, ML or related field research
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in investigating, designing, prototyping, and delivering new and innovative system solutions
Benefits
Amazon offers comprehensive benefits including 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, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
Pay
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location.
Schedule
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.