Applied Scientist, AWS Science of Security

About the role

Description Applied Scientists in AWS Science of Security are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for security, privacy, and sovereignty.

Key job responsibilities

• Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
• Own the design, implementation, and delivery for solutions that have a long-term quantifiable impact.
• Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience.
• Develop fundamentally new solutions for business problems.

About The Team

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.

Why Amazon Security?

• Create and maintain a high bar for security across all of Amazon’s products and services.
• Offer talented security professionals the chance to accelerate their careers with opportunities to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and physical stores.
• Continuous learning and celebrating diversity of ideas, perspectives, and voices to address the toughest security challenges.

Basic Qualifications

• PhD or equivalent research experience
• Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.

Preferred Qualifications

• Experience in professional software development
• Experience in any of the following areas: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis.
• Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language