Applied SCI III AMZ007408, AWS Science of Security

MULTIPLE POSITIONS AVAILABLE



Employer: Amazon Development Center U.S. Inc.

Offered Position: Applied Scientist III - AMZ007408

Job Location: New York NY



Position Responsibilities: Participate in the design development evaluation deployment and updating of formal reasoning systems for security privacy and data protection applications.
Drive technical and scientific innovation in security automation data protection and privacy-preserving technologies with a focus on developing scalable solutions for cloud environments.
Develop and/or apply formal verification techniques and automated theorem proving methods for different applications in cloud security and privacy. Collaborate with internal and external users to understand requirements and enhance formal verification and automated reasoning capabilities. Lead research and development efforts in AI security specifically evaluate emerging threats and opportunities including securing Generative AI systems and designing robust safeguards. Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.

Position Requirements: Masters degree or foreign equivalent in Applied Mathematics Computer Science Engineering or a related field and 3 years of experience in software development and applied research or in the job offered or related experience. Employer will also accept a Bachelors degree or foreign degree equivalent in Applied Mathematics Computer Science Engineering or a related field and 5 years of experience in software development and applied research or in the job offered or related experience as equivalent to the Masters degree and three years of experience. Position requires experience in software development using languages such as Java Python C or equivalent programming languages as well as experience in building and implementing scalable software solutions or tools for AI systems data privacy security or automated reasoning. Experience with compiler development static program analysis or formal/symbolic AI systems.

40 hours/week 8:00am 5:00pm Salary Range $183800 - $248700

Please see job description and position requirements above.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.