Skip to main content

Applied Science Manager

Job ID: 1743352 | Amazon Web Services, Inc.

DESCRIPTION

Amazon Web Services is looking for experienced Automated Reasoning Science Manager to join the AWS Identity Science team. You will be innovating, researching, and developing state-of-the-art automated reasoning techniques for various AWS Identity services and internal systems. On this team, you will help guide and lead team of scientists who invent and implement innovative solutions for never-before-solved problems. This is not solely a management role, you will be directly contributing to the research and development while you lead. If you have passion for automated reasoning with managing scientists, this will be an exciting opportunity.

The AWS Identity team builds, operates, and innovates the identity, authentication, and authorization stack for the AWS cloud. As part of that mission, IAM Access Analyzer uses automated reasoning to reason about “who has access to what” for customers. This enables customers to set the right access controls confidently across their AWS environments. We looking for an Applied Science Manager who can work with product and engineering teams o deliver solutions to all AWS customers. You will drive innovations on a global scale and influence the direction of technology used by all AWS customers.

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.

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
* Meets/exceeds Amazon’s leadership principles requirements for this role
* Meets/exceeds Amazon’s functional/technical depth and complexity for this role