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.