Image shows an autonomous surface vehicle used for bathymetric mapping and water quality monitoring
This autonomous surface vehicle used for bathymetric mapping and water quality monitoring is part of a project being pursued by researchers at the Vehicle Autonomy and Intelligence Lab (VAIL) at Indiana University Bloomington.
Courtesy of Lantao Liu

How Lantao Liu and his team are helping robots adapt to challenges

The AWS Machine Learning Research Award winner is working to develop methods and open-source libraries that can potentially benefit the artificial intelligence and robotics communities.

Lantao Liu and his team at the Vehicle Autonomy and Intelligence Lab (VAIL) at Indiana University Bloomington want to help robots get better at navigating through complex and sometimes changing environments, while also boosting their ability to assess and process data. This challenge has significant applications, particularly in the realm of environmental modeling. Liu and his team are working to develop autonomous and machine learning methods and open-source libraries that can potentially benefit both the artificial intelligence and robotics communities.

“Machine learning algorithms are increasingly being developed for robotics missions. Many critical autonomy components are data-driven, where the data comes from onboard sensors such as LiDAR, sonar, and cameras,” says Liu who also is an assistant professor within the university’s Department of Intelligent Systems Engineering in the Luddy School of Informatics, Computing, and Engineering.

Photo is of Lantao Liu, who leads the Vehicle Autonomy and Intelligence Lab at Indiana University Bloomington
Lantao Liu leads the Vehicle Autonomy and Intelligence Lab at Indiana University Bloomington.
Courtesy of Lantao Liu

“The robots typically have weak computational capacity due to their limited dimensions and payloads, yet they require online learning with data processed on the fly,” he adds. “Unfortunately, many methods for solving these tasks entail large computational costs that can be very challenging for the robots. The key challenges have been computational-theoretical due to the increased complexity of stochastic modeling, but also practical due to the synergy of integrating hardware and software systems as well as customizing algorithms on the robots.”

Liu’s 2019 Amazon Machine Learning Research Award allows VAIL to access and leverage Amazon’s cloud computing tools and services for thousands of hours, boosting their work on both machine learning and autonomous systems.

“My lab works on various decision-making problems for different types of robots including aerial, ground, and aquatic vehicles. Our objective is to develop methodologies for autonomous robots to enhance their autonomy and intelligence in environmental sensing and modeling, search and rescue, among other applications of societal importance,” explains Liu.

Environmental sensing, modeling, and monitoring

One project being pursued by VAIL researchers involves a process that maps environmental attributes of interest, such as pollution in the water or air, by collecting corresponding measurement samples from different locations so that a “distribution map" (environment model) can be reconstructed.

“This mapping mechanism is also called environmental state estimation, a learning process where the parameters of an underlying environment model must be learned using streams of incoming sampling data collected by robots,” Liu explains.

“However, the environments can be dynamic, as can the associated environmental attributes to be mapped. A drawback to using robots is that the collection of samples requires a series of sequential, ordered, sampling operations (so data may not well represent the ground-truth map), and the entire sampling process is time consuming because the samples are typically spread over different spatial locations.

Environmental sensing, modeling, and monitoring using autonomous surface vehicles

“To provide a good estimate of the state of the environment at any time, the robot information-gathering sensing must be persistent to keep up with evolving environmental dynamics,” Liu explains. “One focus of our research has been developing principles that use data-driven methods to guide robots to learn the spatio-temporal and stochastic environment model, and utilize the learned model for path planning and decision-making solutions. This, in turn, benefits future environmental exploration and exploitation for subsequent modeling and monitoring.”

The VAIL team has been developing methods and software that can accurately characterize the spatiotemporal environment by designing a non-stationary modeling framework based on a variant of Gaussian processes (GPs).

“The map will not be the same everywhere,” says Liu. “There are locations on the map that vary more rapidly than others, and we need to accurately model both rapidly and slowly changing parts. It is even more challenging when the underlying map is dynamic, such as when we’re mapping pollution dispersion.

“In addition,” he explains, “the model computation must be fast for in-the-moment decisions. However, sensing data is continuously received, and the accumulated data quickly overwhelms the robots’ computing resources. To boost the learning performance, our researchers recently developed an adaptive learning approach where the key idea is a sparse approximation mechanism that incrementally incorporates the new incoming data with a learned model supported by ‘summarized old data.”

Robotic anomaly detection

In a related project, the lab has been developing a generic robotic anomaly detection framework, motivated by field experiments.

“Commonly, robots in the field encounter sensing and behavioral anomalies,” Liu explains. “For example, one of the thrusters of the autonomous surface vehicle (ASV) might malfunction in operation, resulting in a forward motion becoming a turning motion. Or the ASV might get stuck in aquatic plants or other underwater obstacles, which are difficult to perceive using cameras or LiDARs. The inertial measurement unit (IMU) can be sensitive to external disturbances such as magnetic fields and provide drifting readings. Surrounding objects, such as a tall tree near the shore, might block the GPS signals, which leads to inaccurate localization. Sonar data can also be affected by dynamic underwater objects or environmental disturbances.

“Resilient and adaptive robotic systems require cognitive capabilities to avoid anomalies and recover and learn from failures with minimal human intervention,” Liu adds. “Equipping robots with the self-examination ability to detect sensing and behavioral faults is an essential step. The intuitive idea of anomaly detection is to develop some concept of normality and treat the observations that deviate considerably from that as anomalies.

“It is difficult, if not impossible, to handcraft a model representing the expected behaviors of different kinds of robots in various applications,” Liu explains. “The framework learns the concept of normality via deep representation learning and graph neural networks. We train the framework using contrastive learning in a semi-supervised manner that utilizes the information in a large amount of unlabeled data and, optionally, a small amount of labeled data. During the development of this framework, the AWS EC2 instances have drastically accelerated the prototyping, training, and testing processes. We are currently finalizing this framework and will open-source software.

“Hopefully,” he adds, “it will also benefit the robotics and machine learning communities at large.”

Off-road autonomy

The AWS Machine Learning Research Award also helps VAIL research off-road autonomy.

“An important challenge is the stochastic modeling of unexpected robot behaviors,” he explains. “Basically, the robots operating in real-world complex environments need to reason about the long-term results of their physical interactions with the environment, but due to the high complexity of the real world, it is generally impossible to predict future events in an accurate manner.

“For example,” says Liu, “the effect of uneven road conditions or various disturbances on the robot’s motion is hard to model (or learn from data) precisely. It is even more challenging to model the interaction between the robot and the environment, especially when the environment is dynamic. Other representative scenarios include drones flying with strong winds or submarines moving under ocean currents, where air and water flows vary significantly in both space and time.

“Thus, it is necessary for the robots to consider these epistemic uncertainties caused by a lack of precise modeling of the environment while making decisions,” he explains. “We use Markov decision process as a basis to model autonomous decision-making under uncertainty problems. The solution to these problems is a closed-loop policy that maximizes a long-term goal and satisfies the safety constraints under a probabilistic interaction model between the robot and the environment. In principle, the resulting policy can generate a sequence of motor commands that complete the task assigned by a human, given that the probabilistic model can well describe the uncertainty of the world, and the computational method can allow the robot to calculate the policy within a reasonable amount of time.

“However,” Liu continues, “many real-world problems are non-trivial, and obtaining the required probabilistic model of the world is generally impossible. Our research focuses on solving these two challenges by developing novel methods and leveraging the strong computational power of GPUs. Our current focus is on addressing the computational part of the challenge by developing two planning algorithms that allow the robot to reason about its continuous motion on complicated terrain surfaces based on the kernel method (mesh-free) and finite-element method (mesh-based). Both methods leverage a set of discrete elements to represent the value function over the continuous space. The computation over the discrete parts can be parallelized, which allows our robot to reason and compute optimal policies in real-time to navigate through complicated terrains safely and efficiently.”

VAIL researchers have been working on using sampling methods to optimize over a class of parameterized policies.

robotdecisionmaking.gif
Lantao Liu and his team used AWS cloud computing services to speed up computation and analyses of robot decision-making policies in a simulated scenario.

“To do so, we first need to sample a large number of robot trajectories under the current policy, which can be computed quickly by the parallel architecture of Nvidia GPU CUDA cores,” Liu explains. “They use the gradient-based method for optimization of policy parameters: the policy is updated by computing the policy parameter gradients based on the sampled trajectories. The gradient computation and policy update involve large matrix operations, which can also be parallelized by GPUs for real-time solutions. They leverage AWS computation for this task.”

Navigable space segmentation for navigation

Liu notes that the AWS resources have also been very useful for the team’s visual autonomy research. Visual information has become increasingly important for robotic autonomy as it can provide rich information about surrounding environments, and VAIL’s visual data processing capability has been significantly improved due to the breakthrough on deep neural networks (DNNs). To develop deep approaches to process the vision perception, the team needs to develop models with complicated learning architectures, huge volumes of data, as well as various training strategies.

“A crucial capability for mobile robots to navigate in unknown environments is to construct obstacle-free space where the robot could move without collision,” Liu explains. “Roboticists have been developing methods for detecting such free space with the ray tracing of LiDAR beams to build occupancy maps in 2D or 3D space. Mapping methods with LiDAR require processing of large point cloud data, especially when a high-resolution LiDAR is used. As a much less expensive alternative, cameras have also been widely used for free space detection by leveraging DNNs to perform multi-class or binary-class segmentation of images.

Navigable space construction for robot visual navigation

“However,” he adds, “most existing DNN-based methods are built on a supervised-learning paradigm and rely on annotated datasets. The datasets usually contain a large amount of pixel-level annotated segmented images, which are prohibitively expensive and time-consuming to obtain for robotic applications in outdoor environments. To overcome limitations of fully supervised learning, we have been developing a new deep model based on variational auto-encoders. We target a representation learning-based framework to enable robots to learn navigable space segmentation in an unsupervised manner, with the aim of learning a polyline representation that compactly outlines the desired navigable space boundary. This is different from prevalent segmentation techniques which heavily rely on supervised learning strategies and typically demand immense pixel-level annotated images.

“We trained our model with the data from public datasets using GPUs,” Liu explains. “The large number of computing cores and memory space on AWS have enabled us to train our model fast and with high efficacy. This is crucial as it allows us to test and redesign models rapidly and provides great convenience to deploy the trained model to the robot systems.

“We then train our model with a small set of collected unlabeled images in real mission environments,” Liu adds. “Early testing shows that our model is able to detect navigable space in real time with high accuracy. “The computational resources provided by Amazon have greatly accelerated our design process.”

Research areas

Related content

US, WA, Seattle
Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning, privacy, and sovereignty. Key job responsibilities The successful candidate will: - Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation. - Own strategic problem solving, and take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact. - Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience. - Develop strategic plans to identify fundamentally new solutions for business problems. - Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues. A day in the life This is a unique and rare opportunity to get in early on a fast-growing segment of AWS and help shape the technology, product and the business. You will have a chance to utilize your deep technical experience within a fast moving, start-up environment and make a large business and customer impact. About the team Diverse Experiences Amazon Automated Reasoning values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn't followed a traditional path, or includes alternative experiences, don't let it stop you from applying. Why Amazon Automated Reasoning? At Amazon, automated reasoning is central to maintaining customer trust and delivering delightful customer experiences. Our organization is responsible for creating and maintaining a high bar for automated reasoning across all of Amazon's products and services. We offer talented automated reasoning professionals the chance to accelerate their careers with opportunities to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and physical stores. Inclusive Team Culture In Amazon Automated Reasoning, it's in our nature to learn and be curious. Ongoing DEI events and learning experiences inspire us to continue learning and to embrace our uniqueness. Addressing the toughest automated reasoning challenges requires that we seek out and celebrate a diversity of ideas, perspectives, and voices. Training & Career Growth We're continuously raising our performance bar as we strive to become Earth's Best Employer. That's why you'll find endless knowledge-sharing, training, and other career-advancing resources here to help you develop into a better-rounded professional. Work/Life Balance We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why flexible work hours and arrangements are part of our culture. When we feel supported in the workplace and at home, there's nothing we can't achieve.
US, WA, Seattle
Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning, privacy, and sovereignty. Key job responsibilities The successful candidate will: - Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation. - Own strategic problem solving, and take the lead on the design, implementation, and delivery for solutions that have a long-term quantifiable impact. - Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing your deep knowledge and experience. - Develop strategic plans to identify fundamentally new solutions for business problems. - Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues. A day in the life This is a unique and rare opportunity to get in early on a fast-growing segment of AWS and help shape the technology, product and the business. You will have a chance to utilize your deep technical experience within a fast moving, start-up environment and make a large business and customer impact. About the team Diverse Experiences Amazon Automated Reasoning values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn't followed a traditional path, or includes alternative experiences, don't let it stop you from applying. Why Amazon Automated Reasoning? At Amazon, automated reasoning is central to maintaining customer trust and delivering delightful customer experiences. Our organization is responsible for creating and maintaining a high bar for automated reasoning across all of Amazon's products and services. We offer talented automated reasoning professionals the chance to accelerate their careers with opportunities to build experience in a wide variety of areas including cloud, devices, retail, entertainment, healthcare, operations, and physical stores. Inclusive Team Culture In Amazon Automated Reasoning, it's in our nature to learn and be curious. Ongoing DEI events and learning experiences inspire us to continue learning and to embrace our uniqueness. Addressing the toughest automated reasoning challenges requires that we seek out and celebrate a diversity of ideas, perspectives, and voices. Training & Career Growth We're continuously raising our performance bar as we strive to become Earth's Best Employer. That's why you'll find endless knowledge-sharing, training, and other career-advancing resources here to help you develop into a better-rounded professional. Work/Life Balance We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why flexible work hours and arrangements are part of our culture. When we feel supported in the workplace and at home, there's nothing we can't achieve.
US, WA, Bellevue
The R2L team is responsible for building the next generation supply chain for Amazon’s world-class ultra-fast customer experiences including Amazon Fresh groceries, Sub-Same Day, Amazon Now, and other soon-to-launch exciting new businesses. Join us and you'll be taking part in serving our customers in as fast as 30 minutes! R2L Science & AI team sits under R2L and is a central team for all Data Science/AI related asks. We are looking for an experienced and curious data scientist with effective superior analytical skills to inform the data science charter of the team. Key job responsibilities We are looking for an experienced and curious data scientist with effective superior analytical skills to inform the data science charter of the team. This position is critical in helping us learn more about our data and finding opportunities to delight customers with data driven insights and machine learning models. The Data Science and Analytics team owns data science, data engineering, and business intelligence. You will be supporting multiple business and technical stakeholders with high velocity analytics. This role is uniquely positioned in the team as we have a growing need for looking around corners, prioritizing opportunities using data driven insights, and finding solutions to these opportunities using different machine learning techniques and causal inference models. You will be diving deep in our data and have a strong bias for action to quickly produce high quality data analyses with clear findings and recommendations. As part of our journey to learn about our data, some opportunities may be a dead end and you will be balancing unknowns with delivering results for our customers. A day in the life If you are not sure that every qualification on the list above describes you exactly, we'd still love to hear from you! At Amazon, we value people with unique backgrounds, experiences, and skillsets. If you’re passionate about this role and want to make an impact on a global scale, please apply! Amazon offers a full range of benefits that support you and eligible family members, including domestic partners and their children. Benefits can vary by location, the number of regularly scheduled hours you work, length of employment, and job status such as seasonal or temporary employment. The benefits that generally apply to regular, full-time employees include: 1. Medical, Dental, and Vision Coverage 2. Maternity and Parental Leave Options 3. Paid Time Off (PTO) 4. 401(k) Plan Learn more about our benefits here: https://amazon.jobs/en/internal/benefits/us-benefits-and-stock
US, WA, Seattle
Here at Amazon, we embrace our differences. We are committed to furthering our culture of diversity and inclusion of our teams within the organization. How do you get items to customers quickly, cost-effectively, and—most importantly—safely, in less than an hour? And how do you do it in a way that can scale? Our teams of hundreds of scientists, engineers, aerospace professionals, and futurists have been working hard to do just that! We are delivering to customers, and are excited for what’s to come. Check out more information about Prime Air on the About Amazon blog (https://www.aboutamazon.com/news/transportation/amazon-prime-air-delivery-drone-reveal-photos). If you are seeking an iterative environment where you can drive innovation, apply state-of-the-art technologies to solve real world delivery challenges, and provide benefits to customers, Prime Air is the place for you. Come work on the Amazon Prime Air Team! We're looking for a Research Scientist with a background in developing simulations for traffic management algorithms, including expert knowledge in strategic deconfliction, tactical deconfliction, or detect-and-avoid systems. Managing a large number of concurrent autonomous drone flights that share airspace with other autonomous or manned aircraft is a challenging problem. Be part of the team building simulation tools and algorithms to solve this at scale. This role will contribute to a portfolio of simulation tools managing concurrent airspace traffic for aviation systems. This will include developing new methodologies in the areas of conflict detection and resolution, as well as developing related software systems that will be used in operation to enable package delivery at scale. The ideal candidate is comfortable with risk-taking and ambiguity and able to build consensus on critical, controversial technical decisions. If you enjoy the process of solving real-world problems that haven’t been solved at scale anywhere before, Prime Air is right for you. Along the way, we guarantee you’ll get opportunities to be a disruptor, prolific innovator, and a reputed problem solver and directly impact Amazon’s customers worldwide. Key job responsibilities The primary focus of this role will be on modeling traffic management frameworks that use a layered conflict detection and resolution strategy to ensure safe and efficient flight operations. This will include developing fundamental simulation infrastructure code, including discrete event simulation tooling. In addition, it will involve developing expert knowledge of the layers of mitigation and conducting in-depth scientific research on alternative solutions for conflict resolution. The candidate will contribute to significant and impactful systems that will provide value for Amazon customers and will drive these projects from the concept stage through development. This role will include substantial software development in prototyping and production environments.
US, CA, Sunnyvale
We are seeking an Applied Scientist to focus on Robotics Spatial Intelligence and Semantic Understanding. In this role, you'll research and build advanced semantic and world understanding algorithms that enable robots to observe, understand, and reason about complex and dynamic home environments. You'll work across a broad spectrum of 3D perception, contextual understanding, and world modeling approaches to build robust solutions that support autonomous decision making, task planning, navigation, and manipulation. Key job responsibilities - Develop and implement robust World Understanding and Modeling algorithms for a domestic robot. - Build simulation-based and on-robot evaluation frameworks with comprehensive benchmarks and metrics for systematic evaluation of Our Spatial Intelligence stack. - Conduct sim-to-real transfer experiments, analyzing performance gaps and developing techniques to ensure reliable real-world performance. - Collaborate with navigation, manipulation, and other teams to ensure seamless integration of World Understanding capabilities. - Stay current with the latest advances in World Modeling, Spatial Reasoning, and related fields and apply relevant findings to improve system performance About the team Fauna Robotics, an Amazon company, is building capable, safe, and genuinely delightful robots for everyday life. Our goal is simple: make robots people actually want to live and interact with in everyday human spaces. We believe that future won’t arrive until building for robotics becomes far more accessible. Today, too much effort is spent reinventing the fundamentals. We’re changing that by developing tightly integrated hardware and software systems that make it faster, safer, and more intuitive to create real-world robotic products. Our work spans the full stack: mechanical design, control systems, dynamic modeling, and intelligent software. The focus is not just functionality, but experience. We’re building robots that feel responsive, expressive, and genuinely useful. At Fauna, you’ll work at the frontier of this space, helping define how robots move, manipulate, and interact with people in natural environments. It’s an opportunity to solve hard problems across hardware and software with a team focused on making robotics accessible and joyful to build. If you care about making robotics real for everyone and building systems that are as delightful as they are capable, we’re interested in hearing from you.
IN, KA, Bengaluru
Alexa+ is the world’s best Generative AI powered personal assistant / agent for consumers, and is becoming the conversational AI interface for Amazon services with the launch of Alexa for Shopping on Amazon.com and Amazon mobile app. At Alexa Ads, we are creating industry's first and most advanced Agentic Advertising products to drive Agentic Commerce. We are seeking an Applied Scientist to join our newly expanding team in India focused on Alexa Agentic/Conversational Ads and Personalization. In this role, you will build machine learning models that seamlessly and naturally integrate relevant advertising into the Alexa experience while deeply personalizing user interactions. You will work closely with other scientists, engineers, and product managers to take models from conception to production. Key job responsibilities - Design, develop, and evaluate innovative machine learning and deep learning models for natural language processing (NLP), recommendation systems, and personalization. - Conduct hands-on data analysis and build scalable ML pipelines. - Design and run A/B experiments to measure the impact of new models on customer experience and ad performance. - Collaborate with software development engineers to deploy models into high-scale, real-time production environments. About the team We are building a new science team in Bangalore to solve some of the most impactful problems in computational advertising. This isn't about tweaking existing models as we are rethinking how ads are ranked, priced, and personalized across voice-first and screen-first surfaces. These are problems that don't have textbook solutions. Key points to note about the team: 🧪 Greenfield team - you are not joining a mature org with rigid processes. You will shape the science roadmap, pick the problems, and define the culture from day one. 📈 Direct business impact — your models directly drive revenue. No yearly cycles to see if your work matters. 🌏 Global scope, local autonomy — collaborate with scientists and engineers across Seattle, Sunnyvale, and Bangalore, but own your problem space end-to-end. 🎓 Ship AND Publish: We encourage top-tier publications (NeurIPS, ACL, EMNLP, KDD, ICML, WWW) while ensuring your research hits production.
IL, Tel Aviv
Come join the AWS Agentic AI science team in building the next generation models for intelligent automation. AWS, the world-leading provider of cloud services, has fostered the creation and growth of countless new businesses, and is a positive force for good. Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in the world. You will have the opportunity to partner with technology and business teams to solve real-world problems, have access to virtually endless data and computational resources, and to world-class engineers and developers that can help bring your ideas into the world. As part of the team, we expect that you will develop innovative solutions to hard problems, and publish your findings at peer reviewed conferences and workshops. We are looking for world class researchers with experience in one or more of the following areas - autonomous agents, API orchestration, Planning, large multimodal models (especially vision-language models), reinforcement learning (RL) and sequential decision making.
US, WA, Seattle
MULTIPLE POSITIONS AVAILABLE Employer: AMAZON DEVELOPMENT CENTER U.S., INC. Offered Position: Research Scientist III Job Location: Seattle, Washington Job Number: AMZ10061595 Position Responsibilities: Develop and apply state of the art machine learning methods to large, multi source datasets to build and implement risk prevention, detection and mitigation solutions. Contribute to the development of ML Ops infrastructure, as well as the creation and delivery of Amazon’s science roadmap, including Gen AI efforts. Work closely with software engineering teams to deploy innovations. Mentor and coach junior scientists, including through lunch-and-learn sessions, tech talks, and regular office hours. Publish insights in and champion industry best practices at internal and external journals and conferences. Position Requirements: Master’s degree or foreign equivalent degree in Computer Science, Engineering, Mathematics, or a related field and three years of experience in the job offered or a related occupation. Employer will accept a bachelor’s degree or foreign equivalent degree in Computer Science, Engineering, Mathematics, or a related field and five years of progressive postbaccalaureate experience in the job offered or a related occupation as equivalent to a master’s degree and three years of experience. Must have three years of experience in the following skill(s): (1) conducting research in machine learning, natural language processing, computer vision, or a related functionality, and publishing findings; (2) building machine learning models including generative models for business applications, and (3) programming in Java, C++, Python or related 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 $164,955/year to $215,300/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: https://www.aboutamazon.com/workplace/employee-benefits#0000
US, WA, Seattle
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: Master's 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 Bachelor's 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 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, or 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, 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.#0000
US, WA, Seattle
Innovators wanted! Are you an entrepreneur? A builder? A dreamer? This role is part of an Amazon Special Projects team that takes the company’s Think Big leadership principle to the limits. If you’re interested in innovating at scale to address big challenges in the world, this is the team for you. As an Applied Scientist on our team, you will focus on building state-of-the-art ML models for biology. Our team rewards curiosity while maintaining a laser-focus in bringing products to market. Competitive candidates are responsive, flexible, and able to succeed within an open, collaborative, entrepreneurial, startup-like environment. At the forefront of both academic and applied research in this product area, you have the opportunity to work together with a diverse and talented team of scientists, engineers, and product managers and collaborate with other teams.