-
Summary
Applied Scientist III - AMZ007408
Employer: Amazon Development Center U.S., Inc.
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.
-
Job Description
Applied Scientist III - AMZ007408
Employer: Amazon Development Center U.S., Inc.
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.
-
ABOUT THE COMPANY
-
-
Government Careers
Show moreGovernment jobs offer stability, competitive benefits, and the chance to make a meaningful impact on your community and country.
Whether you’re starting your career or seeking new opportunities, these roles provide pathways for growth, security, and service.
Explore positions across a wide range of fields and take the first step toward a rewarding future in public service.
-