Amazon Web Services, Inc.
Technology
SrManager,AppliedScience,AWSCompliance&SecurityAssurance
Neural analysis suggests this role is
optimal for Manager candidates.
“Sr Manager, Applied Science, AWS Compliance & Security Assurance at Amazon Web Services, Inc.. Skills: Automated reasoning, Program analysis, Static analysis, Applied security. Own technical vision and roadmap. Drive innovation in scalable program analysis”
Industry & Context.
Root cause analysis; Troubleshooting
What They're Looking For.
Must Have
Master's degree in Computer Science, 10+ years of experience in software development or applied research, 5+ years in technical leadership or management role, Deep expertise in static program analysis, Deep expertise in abstract interpretation, Deep expertise in taint analysis, Deep expertise in information-flow security, Deep expertise in automated reasoning, Proven track record of building and shipping production-grade analysis tools, Proven track record of building and shipping developer-facing security tooling
Nice to Have
PhD in Computer Science, Experience in SAT, Experience in SMT, Experience in mechanical theorem proving, Experience in symbolic simulation, Experience in programming language type systems, Experience in program analysis, Background in application security, Background in encryption verification, Background in data privacy compliance, Track record of translating academic research into production systems
What You'll Do.
Own technical vision and roadmap
Drive innovation in scalable program analysis
Lead team of applied scientists
Contribute technically as player/coach
Partner with security stakeholders
Partner with privacy stakeholders
Partner with compliance stakeholders
Expand reach and impact of code analysis
Partner with automated reasoning experts
Contribute to science of security
Own science roadmap for automated reasoning engine
Develop novel analysis techniques
Hire world-class team
Develop world-class team
Retain world-class team
Foster culture of scientific rigor
Foster culture of innovation
Foster culture of operational excellence
Partner with application security teams
Partner with service teams
Expand platform integration footprint
Deliver new security analysis capabilities
Deliver new privacy analysis capabilities
Advance state of art in static program analysis
Explore formal verification of analysis correctness
Expand language support beyond Java
Develop novel analysis techniques for emerging security properties
Collaborate with AWS AppSec teams
Collaborate with Privacy Engineering teams
Collaborate with service teams
Understand security assurance needs
Translate needs into analysis capabilities
Represent team in Automated Reasoning community
Contribute to automated reasoning initiatives
Contribute to academic partnerships
How You'll Work.
Team & Collaboration
Security stakeholders; Privacy stakeholders; Compliance stakeholders; Automated reasoning experts; Application security teams; Service teams; AWS AppSec teams; Privacy Engineering teams
Process & Methodology
Roadmap development
Full Job Description
About the Team Our team builds and operates automated reasoning technology that powers security and privacy assurance across Amazon and AWS at scale. 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. 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
Applying for this Sr Manager, Applied Science, AWS Compliance & Security Assurance role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Web Services, Inc.?
Real rants from real employees. Read before you apply.