Amazon

Sr Manager, Applied Science, AWS Compliance & Security Assurance

Amazon$240K — $325K *
Information Technology
8 - 10 years of experience
Job Overview by Ladders

Qualifications

  • 10+ years of applied research experience
  • Master's degree in Computer Science or equivalent
  • 5+ years in a technical leadership or management role
  • Deep expertise in static program analysis or automated reasoning
  • Proven track record of building production-grade analysis tools

Responsibilities

  • Own the science roadmap for the automated reasoning engine
  • Contribute to research and design decisions through hands-on coding
  • Hire and develop a team of applied scientists, fostering innovation
  • Partner with application security teams to enhance the platform's capabilities
  • Advance static program analysis and explore formal verification techniques
  • Collaborate with AWS teams to understand security needs
  • Represent the team in the broader Automated Reasoning community

Benefits

  • Comprehensive health insurance (medical, dental, vision)
  • 401(k) matching
  • Paid time off and parental leave
  • Adoption and surrogacy reimbursement coverage
  • Mental health support and EAP services
Full Job Description
About the Role

We are looking for an experienced Applied Science Manager to lead the team's static analysis platform science team. In this role, you will own the technical vision and roadmap for our automated reasoning engine's static analysis capabilities, drive innovation in scalable program analysis, and lead a team of applied scientists working at the frontier of automated reasoning for security while also contributing technically as a player/coach. You will partner closely with security, privacy, and compliance stakeholders across AWS to expand the reach and impact of provably correct code analysis. You will also partner closely with automated reasoning experts across the company and contribute to the science of security

Key job responsibilities

Technical Leadership: Own the science roadmap for our automated reasoning engine, including taint analysis, compositional heap analysis, modular method summarization, and dataflow graph generation

Hands-on Contribution: Personally contribute to key research and design decisions, including prototyping novel analyses and reviewing technical artifacts

Team Building & Management: Hire, develop, and retain a world-class team of applied scientists; foster a culture of scientific rigor, innovation, and operational excellence

Product Integration: Partner with application security and service teams to expand our platform's integration footprint and deliver new security and privacy analysis capabilities

Research & Innovation: Advance the state of the art in static program analysis, including exploring formal verification of analysis correctness (e.g., using Lean, Coq, or Dafny), expanding language support beyond Java, and developing novel analysis techniques for emerging security properties

Stakeholder Engagement: Collaborate with AWS AppSec, Privacy Engineering, and service teams to understand their security assurance needs and translate them into analysis capabilities

Strategic Influence: Represent our team in the broader Automated Reasoning community at Amazon; contribute to automated reasoning initiatives, and academic partnerships

About the team

Our team builds and operates automated reasoning technology that powers security and privacy assurance across Amazon and AWS at scale. Our automated reasoning engine is the core technology behind our managed dataflow mapping service, which automatically tracks how data flows through AWS service teams' code and infrastructure. Our technology is deeply integrated into critical Amazon and AWS security workflows. We operate at the intersection of automated reasoning, program analysis, and applied security - and our work directly impacts the security posture of every AWS service.

Diverse Experiences

Amazon Security values diverse experiences. Even if you do not meet all of the 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.

BASIC QUALIFICATIONS

- 10+ years of applied research experience

- Master's degree in Computer Science (Logic, Programming Languages, Formal Methods, or equivalent)

- 5+ years in a technical leadership or management role

- Deep expertise in one or more of: static program analysis, abstract interpretation, taint analysis, information-flow security, or automated reasoning

- Proven track record of building and shipping production-grade analysis tools or developer-facing security tooling

PREFERRED QUALIFICATIONS

- PhD in Computer Science (Logic, Programming Languages, Formal Methods, or equivalent)

- Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.

- Background in application security, encryption verification, or data privacy compliance

- Track record of translating academic research into production systems with measurable security impact

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, NY, New York - 240,600.00 - 325,500.00 USD annually

USA, WA, Seattle - 218,800.00 - 295,900.00 USD annually

About Amazon

Audible is a provider of spoken audio information and entertainment , on the Internet. They provide premium spoken audio content, such as audio versions of books and newspapers and radio programs, that is delivered over the Internet and played back on personal computers and hand-held electronic devices. The Audible service allows consumers to purchase and download their content from their Website, store it in digital files and play it back on personal computers and electronic devices. More than 15,000 hours of audio content are available on their Web site, including audio versions of books, periodicals and radio programs. Several manufacturers have agreed to support and promote the playback of their content on their hand-held audio-enabled electronic devices.

Amazon Careers

Joining Amazon presents an unparalleled opportunity to become part of a vibrant team pushing the boundaries of innovation and growth in the global marketplace. As a leader in e-commerce, technology, and logistics, Amazon offers a variety of job opportunities that cater to a range of skills and professional interests. Work You’ll Do At Amazon, every day is an opportunity to collaborate with the brightest minds in technology and business to redefine what’s possible. Whether you’re interested in software development, marketing, human resources, or customer service, Amazon has a position waiting for you. Transform the way the world shops and innovates with our diverse and inclusive team. Amazon is not just a company; it’s a community where you can drive real change and contribute to projects impacting millions globally. Lead with Innovation and Leadership Amazon is the perfect place to enhance your leadership and innovation skills. Our culture encourages pushing the envelope and imagining the unimaginable. Here, you will lead projects that challenge the status quo and define new industry standards. Work with a team that values diversity and is committed to creating an inclusive environment. Our leadership is focused on harnessing the collective power of unique perspectives to foster growth and innovation. Explore Amazon’s Employment Benefits Amazon’s commitment to its employees extends beyond just career growth. We offer competitive benefits, including health care, parental leave, and diversity training, ensuring that our team not only excels professionally but also enjoys well-being and security. Internship and Networking Opportunities Start your career with an Amazon internship and gain hands-on experience that matters. Our internships provide a gateway to full-time employment and an opportunity to network with professionals across various sectors of the company. Future-Proof Your Career With Amazon, your career path is filled with numerous opportunities for advancement. Our learning and development programs are designed to nurture your professional growth and keep you at the forefront of industry trends. Stay Connected Join Our Team Discover the job opportunities at Amazon that match your skills and interests. We are constantly on the lookout for passionate, curious, and innovative team players ready to make a difference. Keep Up to Date Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work here. Job Alert Emails Customize your subscription to receive job alerts, the latest news, and insider tips tailored to your preferences. Explore the exciting and rewarding career opportunities that await at Amazon. Amazon is more than just a company—it’s a platform for building a promising future. Whether you’re starting or looking to advance your career, Amazon offers the resources, support, and network you need to succeed. Join us, and be a part of our continuing mission to be Earth's most customer-centric company.
Learn more about Amazon
Size
1,608 employees
Market Cap
$832.6 billion
Industry
Net Income
$21.3 billion
Founded
1994
5 Year Trend
+28.1%
Revenue
$386 billion
NASDAQ

Similar Jobs

More Jobs at Amazon

More Information Technology Jobs

Find similar Sr Manager, Applied Science, AWS Compliance & Security Assurance jobs: