Applied SCI III - AMZ007408, AWS Science of Security
About The Position
This role involves participating in the design, development, evaluation, deployment, and updating of formal reasoning systems for security, privacy, and data protection applications. The position drives technical and scientific innovation in security automation, data protection, and privacy-preserving technologies, focusing on scalable solutions for cloud environments. It also involves developing and applying formal verification techniques and automated theorem proving methods for cloud security and privacy applications, and collaborating with users to enhance these capabilities. A key aspect is leading research and development in AI security, evaluating emerging threats and opportunities, securing Generative AI systems, and designing robust safeguards. The role also includes proactively identifying and exploring new opportunities for deploying and leveraging formal reasoning solutions across various domains.
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.
- Alternatively, 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.
- Experience in software development using languages such as Java, Python, C++, or equivalent programming languages.
- 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.
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.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
