Skip to main content
MULTIPLE POSITIONS AVAILABLE Employer: Amazon Development Center U.S., Inc. Offered Position: Applied Scientist III - AMZ007408Job Location: 7 W 34Th St, New York, NY, 10001
Job Number: AMZ007408 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.
Position Requirements: Masters 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 Bachelors 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 Masters 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. Amazon.com is an Equal Opportunity employer. 40 hours / week, 8:00am 5:00pm, Salary Range $183,800 - $248,700 Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information visit: https://www.aboutamazon.com/workplace/employee-benefits. Apply online at www.amazon.jobs., searching by AMZ007408

Matching similar jobs

Level

Lead L6

Salary

$183,800 per year

Location

New York, NY

Occupation

Software Developers

Industry

Computer Systems Design Services

Posted

yesterday

APPLY NOW (opens in a new tab)