Sr. Applied Science Manager, AWS Identity

Are you passionate about leading teams that apply formal verification program analysis constraint-solving and theorem proving to solve critical customer problems at scale Do you want to build and grow organizations that create products customers love If so then we have an exciting opportunity for this role you will define the technical vision and science agenda for your organization working across AWS to identify high-impact opportunities where automated reasoning can transform customer experiences. You will build mentor and grow a team of world-class applied scientists and engineers establishing your organization as a center of excellence in formal methods. You will represent AWS to the academic community industry partners and customers shaping the future direction of automated reasoning in cloud computing.

Key job responsibilities
Define and drive the science agenda for your organization identifying ambiguous problem spaces where formal methods can deliver transformational customer value

Establish technical vision across multiple product areas ensuring alignment with AWS-wide security safety and correctness initiatives

Present and defend organization-wide technical decisions to senior leadership and represent AWS at premier academic conferences and industry forums
Serve as functional thought leader for automated reasoning across AWS sought after for strategic technical decisions by VP-level stakeholders
Build partnerships with academic institutions and industry leaders to advance the state of the art in formal verification and program analysis

Recruit develop and retain world-class talent in formal verification program analysis and GenAI

Mentor and grow applied scientists from mid-level to principal level with demonstrated track record of developing technical leaders

Own end-to-end delivery of multiple customer-facing products leveraging formal methods AI and ML.

Drive products from research prototype to production systems serving millions of customers

Establish metrics and mechanisms to measure customer impact and business value of science initiatives

Scale solutions to meet rapidly growing customer demand while maintaining scientific rigor

Partner with product and engineering leaders to translate customer needs into research directions


- Experience distilling informal customer requirements into problem definitions dealing with ambiguity and competing objectives
- Experience hiring and leading experienced scientists as well as having a successful record of developing junior members from academia or industry to a successful career track
- PhD in Electrical Engineering Computer Science Mathematics or a related technical field
- 5 years of people management experience
- Knowledge of programming languages such as C/C Python Java or Perl
- Experience building complex software systems that have been successfully delivered to customers
- 8 years of experience in formal verification program analysis constraint-solving or theorem proving
- 5 years of experience with SMT/SAT solvers and constraint solving systems

- 10 years of experience applying automated reasoning to solve complex real-world problems
- Track record of defining and executing multi-year science agendas for ambiguous problem spaces
- Experience building and scaling applied science organizations (10 people)
- Established reputation in the automated reasoning community through publications conference presentations or open-source contributions
- Experience establishing and managing academic and industry partnerships
- Demonstrated success working at the intersection of research and product development
- Experience influencing technical strategy at the organizational or company level
- Proven ability to recruit and develop principal-level technical talent

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.

Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees supervisors and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees supervisors and staff to ensure exceptional customer service; and follow all federal state and local laws and Company policies. Criminal history may have a direct adverse and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above as well as the abilities to adhere to company policies exercise sound judgment effectively manage stress and work safely and respectfully with others exhibit trustworthiness and professionalism and safeguard business operations and the Companys reputation. Pursuant to the Los Angeles County Fair Chance Ordinance we will consider for employment qualified applicants with arrest and conviction records.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience qualifications and location. Amazon also offers comprehensive benefits including health insurance (medical dental vision prescription Basic Life & AD&D insurance and option for Supplemental life plans EAP Mental Health Support Medical Advice Line Flexible Spending Accounts Adoption and Surrogacy Reimbursement coverage) 401(k) matching paid time off and parental leave. Learn more about our benefits at CA Santa Clara - 251600.00 - 340300.00 USD annually
USA WA Seattle - 218800.00 - 295900.00 USD annually