Principal Applied Scientist, Automated Reasoning Group
Amazon · Seattle, WA · Applied Science
principal
machine learning
Applied Scientist
tech_leadership
· Posted May 8, 2026
$198,900 – $269,000
USD per year
About this role
Amazon is hiring a principal-level Applied Scientist in the machine learning function based in Seattle, WA. The posting calls out experience with Rust, Scala, Kotlin, Haskell. Compensation is listed at $198,900–$269,000 per year.
- Role
- Applied Scientist
- Function
- machine learning
- Level
- principal
- Track
- Tech leadership
- Employment
- Full-time
- Location
- Seattle, WA
- Department
- Applied Science
- Posted
- May 8, 2026
More roles at Amazon
Manufacturing Engineer, Amazon Leo
Redmond, WA · mid
System Design
Sr. FPGA Engineer, Amazon Leo
Redmond, WA · senior
Python Git CI/CD
Senior Customer Success Manager, Strategic Account Services (LPSAS)
Virtual, Costa Rica · senior
Salesforce Agile Data Analytics
Facilities Coordinator III, NA AMOC
San Jose, Costa Rica · mid
Incident Response
Principal Applied Scientist , Amazon Integrated Security
Virtual Location - Uk, United Kingdom · principal
Security Machine Learning AI Agents
All Amazon jobs →
Job description
from Amazon careersApplied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning, privacy, and sovereignty.
Key job responsibilities
- Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
- Own strategic problem solving, and take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact.
- Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience.
- Develop strategic plans to identify fundamentally new solutions for business problems.
- Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.
- Experience in professional software development.
- Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language.
Key job responsibilities
- Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
- Own strategic problem solving, and take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact.
- Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience.
- Develop strategic plans to identify fundamentally new solutions for business problems.
- Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.
Basic Qualifications
- PhD in Computer Science, Mathematics, or a related technical field.- Experience in professional software development.
- Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language.
Preferred Qualifications
This is an excerpt. Read the full job description on Amazon careers →