Applied Scientist Amazon
Herndon, VA

Job Description

Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that reduce complexity for customers, increase customer security posture, and are provably correct? If so, then we have an exciting opportunity for you. The AWS Security Services team at Amazon.com is looking for a passionate and innovative Applied Scientist. Security Services is crucial for Amazon's long-term success as a technology services company. It is the future of Amazon. We are rapidly expanding our team to meet our fast growing needs.

In this role, you will interact with internal teams and external customers to understand their security requirements. You will apply your knowledge to propose solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.