Sr. Applied Scientist, AWS Automated Reasoning

About the role

AWS Automated Reasoning seeks to make AWS the best computing service for customers requiring advanced and rigorous solutions in automated reasoning, privacy, and sovereignty.

Key job responsibilities

• Solve large or significantly complex problems requiring deep knowledge and innovation.
• Lead strategic problem-solving, solution design, implementation, and delivery.
• Influence cross-organizational teams to increase productivity and effectiveness through technical expertise.
• Develop strategic plans for fundamentally new solutions to business problems.
• Mentor and share knowledge with colleagues on advanced technical issues.

About The Team

Amazon Automated Reasoning values diverse experiences and encourages candidates regardless of traditional career paths. It offers professionals the chance to grow in various areas like cloud, devices, retail, entertainment, healthcare, operations, and physical stores.

Basic Qualifications

• PhD or Master's degree in relevant fields such as SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
• Experience in programming languages like O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or similar.

Preferred Qualifications

• Experience working in a fast-moving, start-up environment.
• Experience in Amazon's products and services.

Pay

The base salary range for this position is listed below:

• USA, MA, Boston - $167,100.00 - $226,100.00 USD annually
• USA, OR, Portland - $167,100.00 - $226,100.00 USD annually
• USA, TX, Austin - $167,100.00 - $226,100.00 USD annually
• USA, WA, Seattle - $167,100.00 - $226,100.00 USD annually

Benefits

Comprehensive benefits including medical, dental, vision, prescription, life insurance, EAP, mental health support, and more. Additionally, Amazon offers 401(k) matching, paid time off, parental leave, and flexible spending accounts.