Applied Scientist, AWS Science of Security
About the role
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.
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
This is a unique and rare opportunity to get in early on a fast-growing segment of AWS and help shape the technology, product and the business. You will have a chance to utilize your deep technical experience within a fast moving, start-up environment and make a large business and customer impact.
Inclusive team culture
At Amazon Security, we value diverse experiences and ongoing learning. DEI events and learning experiences inspire us to embrace our uniqueness. Addressing the toughest security challenges requires that we seek out and celebrate a diversity of ideas, perspectives, and voices.
Training and career growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. You’ll find endless knowledge-sharing, training, and other career-advancing resources here to help you develop into a better-rounded professional.
Work/life balance
We value work-life harmony. Flexible work hours and arrangements are part of our culture so that success at work never comes at the expense of sacrifices at home.
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 programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language
Pay
- USA, CO, Denver — $142,800.00 – $193,200.00 USD annually
- USA, NY, New York — $172,400.00 – $223,400.00 USD annually
- USA, VA, Arlington — $142,800.00 – $193,200.00 USD annually
- USA, WA, Seattle — $142,800.00 – $193,200.00 USD annually