Sr. Applied Scientist, AWS Automated Reasoning

About the role

The successful candidate will solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation. You will own strategic problem solving, take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact, and provide cross-organizational technical influence to increase productivity and effectiveness by sharing your deep knowledge and experience.

This role involves developing strategic plans to identify fundamentally new solutions for business problems and assisting in the career development of others through active mentoring on advanced technical issues.

This is a unique opportunity to get in early on a fast-growing segment of AWS and help shape the technology, product, and business in a start-up-like environment while making a large business and customer impact.

About the team

Amazon Automated Reasoning values diverse experiences and encourages candidates from non-traditional career paths to apply. The team is responsible for maintaining a high bar for automated reasoning across all of Amazon's products and services, including cloud, devices, retail, entertainment, healthcare, operations, and physical stores.

Inclusive team culture is central to the group, with ongoing DEI events and learning experiences that inspire continuous learning and embrace uniqueness. Addressing complex challenges requires seeking and celebrating diverse ideas, perspectives, and voices.

Responsibilities

• Solve large or significantly complex problems requiring deep domain knowledge and scientific innovation.
• Lead strategic problem-solving, design, implementation, and delivery of long-term impactful solutions.
• Provide cross-organizational technical influence to enhance productivity and effectiveness.
• Develop strategic plans for fundamentally new solutions to business problems.
• Mentor individuals and the community on advanced technical issues.

Qualifications

• PhD or equivalent research experience.
• Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

Skills

• Preferred experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, or related languages.

Benefits

Amazon offers comprehensive benefits including:

• Health insurance (medical, dental, vision, prescription, Basic Life & AD&D, and optional supplemental life plans).
• Employee Assistance Program (EAP) and mental health support.
• Medical advice line and flexible spending accounts.
• Adoption and surrogacy reimbursement coverage.
• 401(k) matching.
• Paid time off and parental leave.

Learn more about benefits at amazon.jobs/en/benefits.

Pay

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

Your package will include sign-on payments and restricted stock units (RSUs). Final compensation is determined based on experience, qualifications, and location.

Work/Life Balance

Amazon values work-life harmony, offering flexible work hours and arrangements as part of its culture. Success at work should not come at the expense of sacrifices at home.

Training & Career Growth

Amazon strives to be Earth's Best Employer, offering endless knowledge-sharing, training, and career-advancing resources to help you develop into a better-rounded professional.