Amazon Web Services (AWS)

Compensation

Full Description

Description 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 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 Basic Qualifications • 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 Preferred Qualifications • 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 Company’s 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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t 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 https://amazon.jobs/en/benefits. USA, CA, Santa Clara - 251,600.00 - 340,300.00 USD annually USA, WA, Seattle - 218,800.00 - 295,900.00 USD annually Company - Amazon Development Center U.S., Inc. Job ID: A3182300