Applied SCI III - AMZ007408

Amazon Inc.; Fredericksburg, Northern (VA, KY); Hybrid; USD 184,000 - 249,000; Full time

Job summary

Amazon Development Center U.S., Inc. in New York, NY is hiring Applied Scientist III (AMZ007408) to advance formal reasoning systems for security, privacy, and data protection in cloud environments.

This role emphasizes scalable AI-driven security solutions and collaboration with cross-functional teams. You'll design, implement, and evaluate formal verification methods, contribute to automated reasoning, and help safeguard Generative AI deployments while identifying opportunities to apply formal

Qualifications

• Master’s degree in a related field plus 3 years software development and applied research.
• Alternatively, a Bachelor’s degree with 5 years of relevant experience.
• Proficiency in Java, Python, or C++ and building scalable AI/security solutions.

Responsibilities

• Design, develop, evaluate, deploy, and update formal reasoning systems for security and privacy.
• Advance security automation and privacy-preserving tech for cloud environments.
• Develop and apply formal verification and automated theorem proving methods.
• Collaborate with users to enhance verification capabilities and explore new opportunities.

Skills

Java

Python

C++

Education

Master’s degree or foreign equivalent in Applied Mathematics, Computer Science, Engineering, or related field

Bachelor’s degree with 5 years of experience in related field

Tools

Compiler development

Static analysis

Formal/symbolic AI systems

Job description

Applied SCI III - AMZ007408, AWS Science of Security

Job ID: 10443991 | Amazon Development Center U.S., Inc. - B02

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.

Basic Qualifications

Position Requirements: Master’s 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 Bachelor’s 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 Master’s 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 $183,800 - $248,700

Preferred Qualifications

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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

Posted: October 7, 2026 (Updated about 1 hour ago)

Posted: July 2, 2026 (Updated about 1 hour ago)

Posted: July 22, 2026 (Updated about 2 hours ago)

Posted: March 3, 2026 (Updated about 3 hours ago)

Posted: July 25, 2026 (Updated about 3 hours ago)

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. Veterans, military spouses, and people with disabilities are encouraged to apply.