Sr. Applied Science Manager, AWS Identity

Amazon • Seattle, WA

1d

About The Position

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 you. In 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.

Requirements

• 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

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

Benefits

• 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
• parental leave

What This Job Offers

• Job Type: Full-time
• Career Level: Manager
• Education Level: Ph.D. or professional degree