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

Key job responsibilities
Define and drive the science agenda for your organization, identifying ambiguous problem spaces where formal methods can...