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 shared expertise.
• Create strategic plans for fundamentally new solutions to business problems.
• Mentor and develop others in 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 including 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