Applied Scientist II AMZ9971140

MULTIPLE POSITIONS AVAILABLE

Employer: AMAZON WEB SERVICES INC.
Offered Position: Applied Scientist II
Job Location: Seattle Washington
Job Number: AMZ9971140

Position Responsibilities:

Participate in the design development evaluation deployment and updating of data-driven models and analytical solutions for machine learning (ML) and/or natural language (NL) applications. Develop and/or apply statistical modeling techniques (e.g. Bayesian models and deep neural networks) optimization methods and other ML techniques to different applications in business and engineering. Routinely build and deploy ML models on available data. Research and implement novel ML and statistical approaches to add value to the business. Mentor junior engineers and scientists. Design and implement algorithms and formal methods for automated reasoning including constraint solving model checking static analysis and theorem proving to verify the correctness security and reliability of cloud computing systems and generative AI applications. Develop new decision procedures heuristics and search strategies that improve the scalability and accuracy of verification tools. Build and deploy capabilities that enhance automated reasoning systems such as learning-based heuristics for search and optimization neural approaches to symbolic reasoning tasks and data-driven techniques for abstraction and generalization. Extend and apply deep learning architectures (e.g. graph neural networks transformers recurrent models) and statistical modeling techniques (e.g. Bayesian inference probabilistic programming) to problems in formal verification program analysis and code generation. Develop automated reasoning techniques for generative AI and agentic coding systems including methods for verifying the correctness of AI-generated code ensuring the safety and alignment of autonomous software agents and applying formal guarantees to large language model (LLM) outputs. Design and build tools that combine symbolic reasoning with generative models to produce provably correct code and system configurations. Conduct original research at the intersection of machine learning and formal methods including areas such as neuro-symbolic reasoning program synthesis interactive and automated theorem proving abstract interpretation scalable verification techniques and formal methods for AI safety. Publish findings in peer-reviewed conferences and journals. Research and implement novel approaches combining ML with symbolic and logical reasoning to improve automated verification tools used across AWS services including applications in access control policy analysis network configuration verification resource compliance checking and system reliability assurance. Develop optimization methods including linear and integer programming convex optimization and heuristic search to solve constraint satisfaction resource allocation and scheduling problems arising in cloud computing and AI system development environments. Build and maintain production-grade automated reasoning tools and ML pipelines for AWS infrastructure. Design and execute experiments analyze results using rigorous statistical methods and iterate on model architectures and algorithmic strategies to improve performance at scale. Mentor junior engineers and scientists on formal methods ML techniques and best practices for building reliable automated reasoning systems.

Position Requirements:

Masters degree or foreign equivalent degree in Computer Science Machine Learning Statistics or a related field and one year of research or work experience in the job offered or as a Research Scientist Research Assistant Software Engineer or a related occupation. Employer will accept a Bachelors degree or foreign equivalent degree in Computer Science Machine Learning Statistics or a related field and five years of progressive post baccalaureate research or work experience in the job offered or a related occupation as equivalent to the Masters degree and one year of research or work experience. Must have one year of research or work experience in the following skill(s): (1) programming in Java C Python or equivalent programming language.

is an Equal Opportunity-Affirmative Action Employer Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation.

40 hours / week 8:00am-5:00pm Salary Range $153456/year to $193200/year.

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:
Requirements:

Masters degree or foreign equivalent degree in Computer Science Machine Learning Statistics or a related field and one year of research or work experience in the job offered or as a Research Scientist Research Assistant Software Engineer or a related occupation. Employer will accept a Bachelors degree or foreign equivalent degree in Computer Science Machine Learning Statistics or a related field and five years of progressive post baccalaureate research or work experience in the job offered or a related occupation as equivalent to the Masters degree and one year of research or work experience. Must have one year of research or work experience in the following skill(s): (1) programming in Java C Python or equivalent programming language.#0000

Please see job description and the 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 for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.