Senior Applied Scientist: AI Security & Formal Verification

Amazon Inc.; Fredericksburg (VA); 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

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