Amazon Applied Science Manager EC2 

United States, Minnesota, Minneapolis 

265892961

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.About the team
About AWS
Diverse Experiences
AWS values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.
Why AWS?Inclusive Team CultureMentorship & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.
Work/Life Balance

- 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 verification and analysis techniques

- MS/Ph.D. degree in Engineering, Computer Science, Mathematics, or related technical field
- Experience developing/modifying constraint solvers