Description

Amazon Web Services is looking for an experienced Applied Science Manager to join the AWS Automated Reasoning in Identity team. You will be innovating, researching, and developing state-of-the-art automated reasoning techniques for the Cedar Policy Language and Amazon Verified Permissions. On this team, you will help guide and lead a team of scientists who invent and implement innovative solutions for never-before-solved problems. If you have passion for automated reasoning with managing scientists, this will be an exciting opportunity.

The AWS Automated Reasoning in Identity team operates, and innovates authorization stack for AWS services like Amazon Verified Permissions and Amazon Verified Access. As part of that mission, we use automated reasoning to reason about “who has access to what” for customers. This enables customers to set the right access controls confidently across their application. We are looking for an Applied Science Manager who can work with product and engineering teams to deliver solutions to all AWS customers. You will drive innovations on a global scale and influence the direction of technology used by AWS customers and the Cedar open source community.

Key job responsibilities

• Lead scientists and engineers on the team

• Drive projects at various stages ranging from initial exploration to deployment into production systems.

• Provide technical and scientific guidance to your team members.

• Rapidly design, prototype and test many possible hypotheses in a high-ambiguity environment, making use of both quantitative and business judgment.

• Collaborate with software engineering teams to integrate successful experiments into large scale, highly complex production services.

• Report results in a scientifically rigorous way.

• Interact with security engineers, product managers and related domain experts to dive deep into the types of challenges that we need innovative solutions for.

We are open to hiring candidates to work out of one of the following locations:

Arlington, VA, USA

Basic Qualifications

• Proven track record of managing science teams, hiring and developing science talent

• Track record of peer reviewed academic publications.

• Strong verbal/written communication skills, including an ability to effectively collaborate with both research and technical teams.

• 10+ years of relevant experience in industry and/or academia.

• Extensive experience applying theoretical models in an applied environment.

• Expertise in a broad range of automated reasoning approaches and techniques including formal verification, symbolic analysis, model checking, symbolic execution, program analysis, SMT/SAT solvers, and theorem proving.

• Domain expertise in development of sound verification and analysis techniques

• Meets/exceeds Amazon’s leadership principles requirements for this role

• Meets/exceeds Amazon’s functional/technical depth and complexity for this role

• Strong verbal/written communication skills, including an ability to effectively collaborate with both research and technical teams.

Preferred Qualifications

• MS/Ph.D. degree in Engineering, Computer Science, Mathematics, or related technical field

• Ability to work in a fast paced and agile development environment

• Experience developing/modifying constraint solvers

• Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements

• Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences

• Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts to meet aggressive timelines with optimal solutions

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.