Amazon
Applied SCI III - AMZ007408, AWS Science of Security
$184K–$249K
New York, NY · Full-time · Posted Jun 9, 2026
- Experience
- 3 years with a Master’s degree, or 5 years with a Bachelor’s degree; experience in software development and applied research, the job offered, or related experience.
- Education
- Master’s degree or foreign equivalent in Applied Mathematics, Computer Science, Engineering, or a related field; alternatively, a Bachelor’s degree or foreign equivalent in one of these fields.
About the job
Develops and deploys formal reasoning and verification systems for cloud security, privacy, and data protection, including research on AI security and safeguards for generative AI.
What you'll do
- Design, develop, evaluate, deploy, and update formal reasoning systems for security, privacy, and data protection.
- Develop or apply formal verification and automated theorem-proving methods for cloud security and privacy applications.
- Lead AI security research, evaluating emerging threats and opportunities, including securing Generative AI systems and designing safeguards.
What they ask for
- Master’s degree or foreign equivalent in Applied Mathematics, Computer Science, Engineering, or a related field, plus 3 years of relevant experience; or a Bachelor’s degree or foreign equivalent in one of these fields, plus 5 years of relevant experience.
- Experience in software development using Java, Python, C++, or equivalent programming languages.
- Experience 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.
Pay
$183,800 - $248,700 USD base salary
Tools
Java, Python, C++
AI focus
Research AI security, assess emerging threats and opportunities, secure Generative AI systems, and design robust safeguards.
Model-written summary · the original posting is authoritative