Applied Scientist II - AMZ9971140

Amazon Web Services, Inc. - A97•6h ago

United StatesOnsite$153.5K–$193.2KFull-timeMid Level1+ yrs exp

H-1B verified · 2310 LCAs

Apply now

Top focus

Applied Scientist

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
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
theorem proving — to verify the correctness, security
reliability of cloud computing systems and generative AI applications. Develop new decision procedures, heuristics
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
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
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
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
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
system reliability assurance. Develop optimization methods — including linear and integer programming, convex optimization
heuristic search — to solve constraint satisfaction, resource allocation
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
iterate on model architectures and algorithmic strategies to improve performance at scale. Mentor junior engineers and scientists on formal methods, ML techniques
best practices for building reliable automated reasoning systems. Position Requirements: Master's degree or foreign equivalent degree in Computer Science, Machine Learning, Statistics
a related field and one year of research or work experience in the job offered or as a Research Scientist, Research Assistant, Software Engineer
a related occupation. Employer will accept a Bachelor's degree or foreign equivalent degree in Computer Science, Machine Learning, Statistics
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 Master's 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
equivalent programming language. Amazon.com is an Equal Opportunity-Affirmative Action Employer – Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation. 40 hours / week, 8:00am-5:00pm, Salary Range $153,456/year to $193,200/year. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments
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.#0000
Position Requirements: Master's degree or foreign equivalent degree in Computer Science, Machine Learning, Statistics
a related field and one year of research or work experience in the job offered or as a Research Scientist, Research Assistant, Software Engineer
a related occupation. Employer will accept a Bachelor's degree or foreign equivalent degree in Computer Science, Machine Learning, Statistics
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 Master's 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
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
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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

Required skills

PythonJavaC++Machine LearningStatistics