Research Science

The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning and Generative AI.AWS has the most services and more features within those services, than any other cloud provider–from infrastructure technologies like compute, storage, and databases–to emerging technologies, such as machine learning and artificial intelligence, data lakes and analytics, and Internet of Things.You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills, are self-driven and own the delivery of high quality results in a fast-paced environment.Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/As a Senior Applied Scientist in AWS AI, you will play a pivotal role in shaping the definition, vision, design, roadmap and development of product features from beginning to end. You will:* Define and implement new formal reasoning applications that employ scalable and efficient approaches to solve complex problems using Automated Reasoning and Generative AI technologies.* Apply software engineering best practices to ensure a high standard of quality for all team deliverables* Work in an agile, startup-like development environment, where you are always working on the most important stuff* Deliver high-quality scientific artifacts* Work with the team to lower the barrier of adoption for interactive theorem provers* Work with the team to help drive business decisionsLearn and Be Curious. We have a formal mentor search application that lets you find a mentor that works best for you based on location, job family, job level etc. Your manager can also help you find a mentor or two, because two is better than one. In addition to formal mentors, we work and train together so that we are always learning from one another, and we celebrate and support the career progression of our team members.Inclusion and Diversity. Our team is diverse! We drive towards an inclusive culture and work environment. We are intentional about attracting, developing, and retaining amazing talent from diverse backgrounds. Team members are active in Amazon’s 10+ affinity groups, sometimes known as employee resource groups, which bring employees together across businesses and locations around the world. These range from groups such as the Black Employee Network, Latinos at Amazon, Indigenous at Amazon, Families at Amazon, Amazon Women and Engineering, LGBTQ+, Warriors at Amazon (Military), Amazon People With Disabilities, and more.Key job responsibilitiesLead the design and implement scalable systems for formal reasoning and automated theorem proving.Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.Enhance and extend the capabilities of formal reasoning systems to meet application-specific demands.Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.About the teamWhy AWSAmazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.Utility Computing (UC)AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.Inclusive Team CultureHere at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.Work/Life BalanceWe value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud.Mentorship and Career GrowthWe’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.Diverse ExperiencesAmazon values diverse experiences. Even if you do not meet all of the preferred 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.BASIC QUALIFICATIONS- M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field- At least 6 years of industrial/academic experience in interactive theorem proving, LLMs, and/or automated reasoning.- At least 6 years of experience with programming languages such as Rust, Python, C/C++ and open-source technologies and open-source technologies- At least 6 years of experience in design and analysis of algorithms and data structures ...

Amazon's Pricing & Promotions Science, Data, and Insights organization is seeking a driven Senior Science Manager to build & lead an exceptional business intelligence, data science, and economics group, harnessing planet scale pricing and promotions datasets to regularly generate and automate access to needle-moving business insights and novel metrics on billions of Amazon and Third Party Seller products worldwide. We are looking for a talented, organized, and customer-focused leader to head the Analytics & Insights group, with a charter to define & causally measure the right things, surface and identify novel opportunities through data, then propose and drive resulting actions for Customer, Seller, and Amazon success.This role requires an individual with excellent team leadership skills, outstanding business acumen, and an entrepreneurial spirit. An experienced leader who is a self-starter comfortable with ambiguity, demonstrates strong attention to detail, and has the ability to work in a fast-paced and ever-changing environment. Key job responsibilities- Build the right team. Lead and foster a highly talented group of scientists, economists, and data & business intelligence engineers. Establish internal and external talent acquisition opportunities.- See the big picture. Shape long term vision for Amazon's science-based competitive, perception-preserving pricing techniques- Build strong collaborations. Partner with product, engineering, and science teams within Pricing & Promotions to deploy and automate self-service metrics reporting approaches, causal counterfactual measurement techniques, and insights generation solutions at Amazon scale- Stay informed. Establish mechanisms to stay up to date on latest reporting, data mining, and econometric advancements. Identify opportunities to apply them to relevant Pricing & Promotions business problems- Keep innovating for Customers, Sellers, and Amazon. Foster an environment that promotes rapid experimentation, continuous learning, and incremental value delivery. About the teamThe Pricing and Promotions Sciences strive to accelerate Customer, Seller, and overall Amazon success through the proactive development of automated intelligent pricing and promotions science systems, and the facilitation of trustworthy data-driven decision making at scale. We look around corners for both long-term and short-term flywheel causal impacts, and think holistically, from sourcing to CX, and all customer journey touch points in between.BASIC QUALIFICATIONS- Master's degree in Computer Science, Statistics, Economics, Business Intelligence, Machine Learning, Finance, or related field.- 10+ years of broad data science or economics experience on large-scale industry problems in pricing, trading, rankings, or recommendations domains- 5+ years of experience leading science, economics, business intelligence or data teams- A track record of balancing project delivery with longer term strategy and vision.- Proficiency in Python, SQL, and AWS data technologies- Proven written and verbal technical communication with the ability to present complex topics clearly to audiences with varying levels of technical familiarity ...

Project Kuiper is an initiative to increase global broadband access through a constellation of 3,236 satellites in low Earth orbit (LEO). Its mission is to bring fast, affordable broadband to unserved and underserved communities around the world. Project Kuiper will help close the digital divide by delivering fast, affordable broadband to a wide range of customers, including consumers, businesses, government agencies, and other organizations operating in places without reliable connectivity.Key job responsibilitiesThis position is part of the Satellite Attitude Determination and Control team. You will design and analyze the control system and algorithms, support development of our flight hardware and software, help integrate the satellite in our labs, participate in flight operations, and see a constellation of satellites flow through the production line in the building next door.You will design and analyze algorithms for estimation, flight control, and precise pointing using linear methods and simulation. Along with that will be plenty of work developing and applying models and simulations, with various levels of fidelity, of the satellite and our constellation. The labs in our building provide for component level environmental testing, functional and performance checkout, subsystem integration, and satellite integration up to Day in the Life testing and mission rehearsal. We are excited to get into space, so you can look forward to seeing your designs launch and fly soon!A day in the lifeThis is an opportunity to play a significant role in the design of an entirely new satellite system with challenging performance requirements. The large, integrated constellation brings opportunities for advanced capabilities that need investigation and development. The constellation size also puts emphasis on engineering excellence so our tools and methods, from conceptualization through manufacturing and all phases of test, will be state of the art as will the satellite and supporting infrastructure on the ground.You will find that Kuiper's mission is compelling, so our program is staffed with some of the top engineers in the industry. Our daily collaboration with other teams on the program brings constant opportunity for discovery, learning, and growth.About the teamOur team has lots of experience with various satellite systems and many other flight vehicles. We have bench strength in both our mission and core GNC disciplines. We design, prototype, test, iterate and learn together. Because GNC is central to safe flight, we tend to drive Concepts of Operation and many system level analyses.- PhD, or Master's degree and 5+ years of quantitative field research experience- 3+ years of investigating the feasibility of applying scientific principles and concepts to business problems and products experience- Experience communicating qualitative research methods and findings to non-qualitative researchers- Experience analyzing both experimental and observational data sets- Knowledge of C++, Matlab, Python or similar programming languages- Experience building web based dashboards using common frameworksAmazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, 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 you’re applying in isn’t listed, please contact your Recruiting Partner.Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $143,300/year in our lowest geographic market up to $247,600/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. 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, please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.

Help re-invent how millions of people watch TV! Fire TV remains the #1 best-selling streaming media player in the US. Our goal is to be the global leader in delivering entertainment inside and outside the home, with the broadest selection of content, devices and experiences for customers.Our science team works at the intersection of Recommender Systems, Information Retrieval, Machine Learning and Natural Language Understanding. We leverage techniques from all these fields to create novel algorithms that allow our customers to engage with the right content at the right time. Our work directly contributes to making our devices delightful to use and indispensable for the household.As a Research Scientist, you will be responsible for the natural language understanding models for Fire TV use cases. Your work will directly impact our customers in the form of novel products and services that make use of speech and language technology. Key job responsibilities- Ensure data quality throughout all stages of acquisition and processing, including areas such as data sourcing / collection, ground truth generation, normalization, transformation, cross-lingual alignment / mapping, etc. - Clean, analyze and select data to achieve goals - Build and release models that elevate the customer experience and track impact over time - Design and run experiments, evaluate the impact of your optimizations, and communicate the results to various business stakeholders- Collaborate with colleagues from science, engineering and business backgrounds - Present proposals and results in a clear manner backed by data and coupled with actionable conclusions - Work with engineers to develop efficient data querying infrastructure for both offline and online use cases- Be a member of the Amazon-wide Machine Learning community, participating in internal and external meet ups, hackathons, and conferencesBASIC QUALIFICATIONS- PhD, or Master's degree and 4+ years of quantitative field research experience- Experience investigating the feasibility of applying scientific principles and concepts to business problems and products- Experience analyzing both experimental and observational data sets- Experience with any programming language such as Python, Java, C++- Experience in machine learning, statistics, and deep learning ...

Are you excited about developing algorithms and models to power Amazon's next generation robotic storage systems? Are you looking for opportunities to build and deploy them on real problems at truly vast scale? At Amazon Fulfillment Technologies and Robotics we are on a mission to build high-performance autonomous systems that perceive and act to further improve our world-class customer experience - at Amazon scale. We are looking for enthusiastic scientists for a variety of roles.The Research team at Amazon Robotics is seeking a passionate, collaborative, hands-on Research Scientist to develop planning and scheduling algorithms to support Amazon's next generation robotic storage systems. The focus of this position workflow optimization and robot task-assignment. It includes designing and evaluating planning and scheduling algorithms using a combination of machine learning and optimization methods as appropriate. This work spans from research such optimal decision making, to policy learning, to experimenting using simulation and modeling tools, to running large-scale A/B tests on robots in our facilities.The ideal candidate for this position will be familiar with planning or learning algorithms at both the theoretical and implementation levels. You will have the chance to solve complex scientific problems and see your solutions come to life in Amazon’s warehouses!Key job responsibilities- Research design - How should solve a particular research problem- Research delivery - Proving/dis-proving strategies in offline data or in simulation- Production studies - Insights from production data or ad-hoc experimentation- Prototype implementation - Building key parts of algorithms or model prototypesA day in the lifeOn a typical day in this role you will work to progress your research projects, meet with engineering, systems, and solutions stakeholders, brainstorm with other scientists on the team, and participate in team processes. You will follow your research projects though the entire life cycle of design, implementation, evaluation, analysis, and will communicate your findings and results through technical papers and reports. You will consult with engineering teams as they incorporate your models and analyses into system and process designs.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) PlanIf 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!About the teamOur multi-disciplinary science team includes scientists with backgrounds in simulation, planning and scheduling, grasping and manipulation, machine learning, and operations research. We develop novel planning algorithms and machine learning methods and apply them to real-word robotic warehouses, including:* Planning and coordinating the paths of thousands of robots* Dynamic allocation and scheduling of tasks to thousands of robots* Learning how to adapt system behavior to varying operating conditions* Co-design of robotic logistics processes and the algorithms to optimize themOur team also serves as a hub to foster innovation and support scientists across Amazon Robotics. We also coordinate research engagements with academia, such as the Robotics section of the Amazon Research Awards.BASIC QUALIFICATIONS- PhD, or Master's degree and 4+ years of quantitative field research experience- Experience investigating the feasibility of applying scientific principles and concepts to business problems and products- Experience analyzing both experimental and observational data sets- Knowledge of R, MATLAB, Python or similar scripting language- Experience in planning and optimization ...

Ring is looking for a Senior Applied Science Manager to lead the development of computer vision algorithm on the Edge. In this role, you will be the leader of our passionate, talented, and inventive scientists, to develop industry-leading Computer Vision (CV), Multimodal, and AI and drive them successfully to production for the benefit of millions of Amazon Devices users.This is a unique, high visibility opportunity for a leader who wants to have business impact, and dive deep into computer vision problems. We are particularly interested in candidates with experience productizing edge-based computer vision systems.Key job responsibilitiesAs a Senior Manager, Applied Science, you bring structure to ambiguous business problems and use science, logic, and practical experience to decompose them into straightforward, scalable solutions. You set the standard for scientific excellence and make decisions that affect the way we build and integrate algorithms. Your solutions are exemplary in terms of algorithm design, clarity, model structure, efficiency, and extensibility. You tackle intrinsically hard problems; you're interested in learning; and you acquire skills and expertise as needed.The ideal candidate is a strong, creative and highly-motivated Scientist with hands-on experience in leading multiple research and engineering initiatives. You balance technical leadership with strong business judgment to make the right decisions about technology, tools, and methodologies.BASIC QUALIFICATIONS- MS/PhD degree in Computer Vision, Machine Learning, or related areas.- Proven track record of shipping computer vision systems- 10+ years of working experience on computer vision systems in industry- 3+ years of managing experience of scientists- Excellent business writing, verbal communication, and cross discipline collaboration skills ...

Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.Key job responsibilities- Interact with various teams to develop an understanding of their security and safety requirements.- Apply the acquired knowledge to build tools find problems, or show the absence of security/safety problems.- Implement these tools through the use of SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification and constraint solving.- Perform analysis of the customer systems using tools developed in-house or externally provided- Create software prototypes to verify and validate the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.About the teamAWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.Diverse ExperiencesAWS 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 AWS?Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.Inclusive Team CultureHere at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.Mentorship & Career GrowthWe’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Work/Life BalanceWe value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud. Hybrid WorkWe value innovation and recognize this sometimes requires uninterrupted time to focus on a build. We also value in-person collaboration and time spent face-to-face. Our team affords employees options to work in the office every day or in a flexible, hybrid work model near one of our U.S. Amazon offices.BASIC QUALIFICATIONS- Experience programming in Java, C++, Python or related language- M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.- At least 2 years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving. ...

The Fulfillment by Amazon (FBA) and Supply Chain by Amazon (SCA) empower third-party sellers world-wide to use Amazon's cutting-edge logistics, warehousing, distribution, fulfillment, and transportation services. These services ensure products remain in stock, customer orders are fulfilled fast and reliably, while end-to-end supply chain costs are reduced. As a result, sellers can focus less on supply chain management and more on developing outstanding products, delighting customers, and scaling their businesses. The FBA team is looking for a passionate, curious, and creative Research Scientist with expertise in operations research, machine learning or statistics, preferably with a focus on pricing and market design, and a proven record of solving business problems through scalable modeling and analytical skills. As a research scientist in the team, you will be responsible for designing and implementing cutting edge optimization and ML models, building automated inventory, logistics, capacity and revenue management systems while collaborating with business and software teams to solve key challenges facing the worldwide FBA business. Such challenges include 1) designing end-to-end supply and demand management systems, 2) developing and improving optimization and ML models to support FBA sellers in growing their businesses, 3) creating decision-support tools that minimize the cognitive burden on sellers in navigating supply chain and operational complexities, 4) ensuring worldwide Amazon customers have access to the broadest selection of products from FBA sellers, and 5) driving cost efficiencies across end-to-end FBA supply chain. Unlike many companies that purchase off-the-shelf planning systems, we design and build custom solutions to suit Amazon's unique needs. Our team members are at the forefront of supply chain innovation, tackling some of the industry's most challenging problems alongside top product managers, research scientists, statisticians, economists, and software developers. We value individuals who exhibit deep technical proficiency, a desire for learning new areas, and a track record of delivering tangible results while fostering personal growth, team development, and career advancement.A day in the lifeAs a scientist on the team, you will be involved with every aspect of the process—from idea generation, business analysis and scientific research to development and deployment of advanced models—granting you a profound sense of ownership. Your solutions have the potential to drive billions of dollars in impact for Amazon's third-party seller business. From day one, you will collaborate with experienced scientists, engineers, and product managers who are passionate about their work. Additionally, you will engage with Amazon's broader decision and research science community, enriching your perspective and mentoring fellow engineers and scientists. The ideal candidate will have the strong expertise in applying operations research methodologies to solve a wide variety of supply chain problems, involving millions of unique products, hundreds of thousands of Selling Partners, and tens of millions of customers worldwide. You will strive for simplicity and demonstrate judgment backed by mathematical rigor, as you continually seek opportunities to innovate, build, and deliver. An entrepreneurial spirit, adaptability to diverse roles, and agility in a fast-paced, high-energy, highly collaborative environment are essential.About the teamSellers are a crucial part of Amazon's ecosystem, playing an integral role in our mission to offer the Earth's largest selection and lowest prices. FBA is a service that enables third-party sellers to outsource order fulfillment to Amazon, and leverage Amazon’s world-class facilities to provide customers Prime delivery promise. By partnering with Amazon, sellers benefit from powerful, cost-effective solutions that leverage our scale and technology, gain access to Prime members worldwide, boost their sales, and free up time to focus on inventing amazing products for customers. To further ease supply chain and operational complexities for our selling partners, Amazon introduced Supply Chain by Amazon (SCA), an end-to-end, fully automated suite of supply chain services. With SCA, Amazon handles everything from picking up inventory from global manufacturing facilities, shipping across borders, managing customs clearance and ground transportation, to storing inventory in bulk, managing replenishment across Amazon and other sales channels, and delivering directly to customers— all without sellers having to worry about managing their supply chain. A pivotal service within SCA is Amazon Warehousing and Distribution, which offers best-in-class bulk storage and distribution services, ensuring sellers remain well-stocked across all their sales and fulfillment channels while reducing overall supply chain costs. The FBA team is at the heart of this operation, responsible for inventory management, automated replenishment, fulfillment, pricing, resource planning, capacity management, and a wide range of operational recommendation services for sellers. We focus on understanding seller behavior and experience, building automated tools and assistants, recommending optimal actions, designing seller policies and incentives, and developing science-driven products and services that empower third-party sellers to grow their businesses. We develop and innovate science-driven solutions at the intersection of machine learning, statistics, economics, operations research, and data analytics. Our work spans the full stack, from foundational backend systems to cutting-edge user interfaces. Our culture is rooted in rapid prototyping, rigorous experimentation, and data-driven decision-making.- PhD, or Master's degree and 4+ years of quantitative field research experience- Experience investigating the feasibility of applying scientific principles and concepts to business problems and products- Ph.D. in Operations Research, Machine Learning, Statistics, Computer Science, Applied Mathematics, Operations Management, Industrial Engineering, Economics or a related field.- 2+ years of experience in solving complex problems in the area of operations research, statistics or machine learning, as well as in developing strategies for large-scale supply chain, transportation and logistics networks.- Ability to perform quantitative, economic, and numerical analyses of large-scale systems under uncertainty using statistical and optimization tools such as Python, R and XPRESS to determine solution strategies for complex decision-making problems.- Fluency in using mathematical optimization or machine learning to develop solution methods to be used by in-house decision support tools and software.- Proficiency working with Python, SQL and/or C/C++.- Excellent written and verbal communication skills while addressing both technical and business people, ability to speak at a level appropriate for the audience, and skills to present business cases, and document models, analyses, and results to influence important decisions.- 2+ years of hands-on experience in using models to solve complex real-world business problems.- Experience in supply chains, transportation and logistics models.- Significant peer-reviewed scientific contributions in premier journals and conferences.- Programming experience using at least one modern programming language such as Python, Java, or C++.- Proficiency in development, validation and implementation optimization or machine learning models for large-scale applications.- Superior verbal and written communication and presentation skills, ability to convey rigorous mathematical concepts and considerations to non-experts.- Proven ability to work effectively in a cross-functional team.Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, 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 you’re applying in isn’t listed, please contact your Recruiting Partner.Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $136,000/year in our lowest geographic market up to $212,800/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. 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, please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.

Amazon's Optimal Inventory Health (OIH) org in Supply Chain Optimization (SCOT) group is looking for a Principal Applied Scientist to optimize one of the most complex eCommerce systems in the world. The Optimal Inventory Health (OIH) drives long-term cash flow (LTFCF) growth by determining optimal inventory dispositions under uncertainties in demand, pricing, and supply across Amazon’s 21 marketplaces global network. OIH is in the unique position within SCOT to drive the joint optimization across supply chain and marketing across the levers of Markdowns, Removals, Outlet, Deals, Sponsored Ads, and Paid Search etc. Our systems delivers hundreds of million dollar saving to Amazon each year. The Principal Applied Scientist will lead the science vision and implementation to optimize across inventory disposition channels and deliver best experience to Amazon customers through those levers. We are investing and building the next generation inventory disposition decision models based on cutting-edge technologies like Reinforcement learning, Causal inference, Deep Learning Prediction etc. Academic and/or practical background in Machine Learning and Operations Research are particularly relevant for this position. Experience in model-based engineering and/or multidisciplinary analysis & optimization is also a plus. This position requires drive and self-motivation, superior analytical thinking, data-driven disposition, application of technical knowledge to a business context, effective collaboration with fellow scientists, software development engineers, and product managers, effective communication of technical designs to technical and non-technical audiences, and close partnership with many stakeholders from operations, finance, IT, and business leadership.Key job responsibilities- Seek to understand in depth the end to end value chain of eCommerce across supply chain and marketing and identify areas of opportunities to grow our business using science solutions.- Lead science strategy and roadmap in OIH space- Drive alignment across organizations to achieve business goals- Lead/guide scientists and engineers across teams to develop, test, launch and improve of science models designed to optimize inventory value and customer experience.- Be responsible for communicating our innovations to the broader internal & external scientific community and business leadership.- Mentor and guide the applied scientists in our organization and hold us to a high standard of technical rigor and excellence in ML.A day in the life- You will engage with distinguished scientists and Senior Principal scientists across organizations to shape the vision of the eCommerce decision systems across supply chain and marketing. - You will collaborate with talented product managers and software engineers to build the end to end systems. - You will work with stakeholders across retail, supply chain, finance etc. to understand the business operation process and bottlenecks and build solution to provide the best experience to Amazon customers through automated OIH actions.- You have the access to the richest eCommerce data and will be able to see the actual significant business impact quickly with the models you build.About the teamSupply Chain Optimization Technology (SCOT) is the core of the Amazon eCommerce business, which leverage science models and systems to automate the decisions and operations of the most complex supply chain in the world. Optimal Inventory Health (OIH) maximize the inventory value in Amazon through all the levers across traffic, marketing, pricing and reverse logistics.BASIC QUALIFICATIONS▪ PhD in Multidisciplinary Design Optimization, Systems Optimization, Operations Research or related Engineering or Applied Sciences fields▪ Previous work experience or demonstrated practical industry experience▪ A proven record of innovation and driving critical research in Applied Optimization in industry, government, or military▪ Experience developing intricate systems, including establishing target system results and operation tolerances, developing a system design, analyzing this design use in relation to the function of the elements in the system, developing system prototypes, and testing and validating the developed design to quantify its value▪ Excellent interpersonal skills and a can-do never-give-up attitude▪ Experience of handling large dataset ...

Do you have a strong science background and want to help build new technologies? Do you have a physics background and want to help build and test superconducting circuits? Join the quantum revolution at Amazon and be part of a team that's pushing the boundaries of what's possible in quantum computing and quantum technologies. As a Research Science Intern focused on Quantum Technologies, you'll have the opportunity to work alongside leading experts in the field, contributing to cutting-edge research and driving innovation in areas such as quantum algorithms, quantum simulation, superconducting qubits, quantum key distribution, and quantum optics.We are looking for builders, innovators, and entrepreneurs who want to bring their ideas to reality and improve the lives of Amazon's customers. Research interns at Amazon work passionately to apply cutting-edge advances in technology to solve real-world problems. As an intern, you will be challenged to apply theory into practice through experimentation and invention, develop new algorithms using modeling software and programming techniques for complex problems, and implement prototypes.Throughout your journey, you'll have access to unparalleled resources, including state-of-the-art computing infrastructure, cutting-edge research papers, and mentorship from industry luminaries. This immersive experience will not only sharpen your technical skills but also cultivate your ability to think critically, communicate effectively, and thrive in a fast-paced, innovative environment where bold ideas are celebrated.Amazon has positions available for Quantum Research Science Internships in, but not limited to, Bellevue, WA; Boston, MA; Cambridge, MA; New York, NY; Santa Clara, CA; Seattle, WA; Sunnyvale, CA. Key job responsibilitiesWe are particularly interested in candidates with the following skills: Experience with working on commercial quantum computation at hardware, software, or consulting companies. Experience with AWS technologies like EC2, S3, and Cloudwatch. Familiarity with using data visualization tools. Demonstrable track record of dealing well with ambiguity, prioritizing needs, and delivering results in a dynamic environment. Quantum Algorithms, Quantum Simulators, Superconducting Qubits, OpticsIn this role, you gain hands-on experience in applying cutting-edge analytical techniques to tackle complex business challenges at scale. If you are passionate about using data-driven insights to drive operational excellence, we encourage you to apply.The ideal candidate should possess the ability to work collaboratively with diverse groups and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter, comfortable with ambiguity, with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment.A day in the life- Conduct research and develop new quantum algorithms to solve complex computational problems- Design and implement quantum simulation models to study the behavior of quantum systems- Investigate the properties and performance of superconducting qubits, a promising platform for building large-scale quantum computers- Explore the application of quantum optics principles to develop novel quantum sensing and communication technologiesBASIC QUALIFICATIONS- Are enrolled in a PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field- Are 18 years of age or older- Work 40 hours/week minimum and commit to 12 week internship maximum- Can relocate to where the internship is based- Experience with any programming language such as Python, Java, C++- Experience with one or more of the following: Quantum Algorithms, Quantum Simulators, Superconducting Qubits, Quantum Key Distribution , Optics ...

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 extreme. We focus on creating entirely new products and services with a goal of positively impacting the lives of our customers. No industries or subject areas are out of bounds. If you’re interested in innovating at scale to address big challenges in the world, this is the team for you. Here at Amazon, we embrace our differences. We are committed to furthering our culture of inclusion. We have thirteen employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We are constantly learning through programs that are local, regional, and global. Amazon’s culture of inclusion is reinforced within our 16 Leadership Principles, which remind team members to seek diverse perspectives, learn and be curious, and earn trust. Our team highly values work-life balance, mentorship and career growth. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We care about your career growth and strive to assign projects and offer training that will challenge you to become your best.BASIC QUALIFICATIONS- MSc/Ph.D in Life Sciences plus 10 years experience.- 5+ years of directly-related commercial or academic post-graduate experience. ...

Futures Design is the advanced concept design and incubation team within Amazon’s Device and Services Design Group (DDG). We are responsible for exploring and defining think (very) big opportunities globally and locally — so that we can better understand how new products and services might enrich the lives of our customers and so that product teams and leaders can align on where we're going and why we're going there. We focus on a 3–10+ year time frame, with the runway to invent and design category-defining products and transformational customer experiences. Working with Amazon business and technology partners, we use research, design, and prototyping to guide early product development, bring greater clarity to engineering goals, and develop a UX-grounded point of view.Our team is dedicated to unlocking new foundational capabilities in generative AI, guided by the thesis that embedding understanding through human factors, cognitive science, and socioeconomics is crucial to building AI systems that align with human needs. We place particular emphasis on the capabilities of simulacra through agentic systems and experiential/evolutionary learning, which we believe are vital to accelerating the development of AI as an aligned partner. Joining our team will give you the chance to drive key decisions that will impact the lives of millions of Amazon customers. Key job responsibilitiesYou will be responsible for defining key research directions, adopting or inventing new machine learning techniques, conducting rigorous experiments, publishing results, and ensuring that research is translated into practice. You will develop long-term strategies, persuade teams to adopt those strategies, propose goals and deliver on them. You will also participate in organizational planning, hiring, mentorship and leadership development. You will be technically fearless and with a passion for building scalable science and engineering solutions. You will serve as a key scientific resource in full-cycle development (conception, design, implementation, testing to documentation, delivery, and maintenance).A day in the lifeWe're looking for a Principal Applied Scientist to join the growing DDG Futures Design team.You thrive in ambiguity and paradigm shifts – remaking assumptions of how customers engage, devices operate, and builders create. You apply deep expertise that spans design, technology, and product, grounding state-of-the-art emerging technologies through storytelling and a maker's mindset. You learn and adapt technology trends to enduring customer problems through customer empathy, code, and iterative experimentation.You will wear multiple hats to quickly assimilate customer problems, convert them to hypotheses, and test them using efficient technologies and design methods to build stakeholder buy-in. You’ll help your peers unlock challenging scenarios and mature the design studio’s ability to deliver design at scale across a breadth of devices and interaction modalities. You will work around limitations and push capabilities through your work. Your curiosity will inspire those around you and facilitate team growth, while your hands-on, collaborative nature will build trust with your peers and studio partners.BASIC QUALIFICATIONS* PhD with specialization in artificial intelligence, natural language processing, machine learning, or computational cognitive science* 10+ years of combined academic and research experience* Multi-disciplinary expertise with demonstrated application of AI to a human-centered problem space (e.g., human factors or experiential learning)* Functional thought leader, sought after for key tech decisions* Can successfully sell ideas to executive level decision makers* Mentors and trains the research scientist community on complex technical issues* Proven track record of building complex solutions in ambiguous environments* Experience in building complex, real-time systems involving AI, ML, and NLP with successful delivery to customers* Experience developing software in traditional programming languages (e.g., Python, C++, Java)* Excellent written and spoken communication skills* Proven record of developing new approaches, algorithms, application areas, etc.* Extensive research expertise in generative AI, computer vision, machine learning, or NLP* Ability to develop machine learning platform strategies and influence the organization adopting new approaches, concepts, and paradigms ...

As part of the AWS Solutions organization, we have a vision to provide business applications, leveraging Amazon’s unique experience and expertise, that are used by millions of companies worldwide to manage day-to-day operations. We will accomplish this by accelerating our customers’ businesses through delivery of intuitive and differentiated technology solutions that solve enduring business challenges. We blend vision with curiosity and Amazon’s real-world experience to build opinionated, turnkey solutions. Where customers prefer to buy over build, we become their trusted partner with solutions that are no-brainers to buy and easy to use.The Team: Amazon Go is a new kind of store with no lines and no checkout—you just grab and go! Customers simply use the Amazon Go app to enter the store, take what they want from our selection of fresh, delicious meals and grocery essentials, and go!Our checkout-free shopping experience is made possible by our Just Walk Out Technology, which automatically detects when products are taken from or returned to the shelves and keeps track of them in a virtual cart. When you’re done shopping, you can just leave the store. Shortly after, we’ll charge your Amazon account and send you a receipt. Check it out at amazon.com/go. Designed and custom-built by Amazonians, our Just Walk Out Technology uses a variety of technologies including computer vision, sensor fusion, and advanced machine learning. Innovation is part of our DNA! Our goal is to be Earths’ most customer centric company and we are just getting started. We need people who want to join an ambitious program that continues to push the state of the art in computer vision, machine learning, distributed systems and hardware design.The Role: Everyone on the team needs to be entrepreneurial, wear many hats and work in a highly collaborative environment that’s more startup than big company. We’ll need to tackle problems that span a variety of domains: computer vision, image recognition, machine learning, real-time and distributed systems. As a Machine Learning or Computer Vision Research Scientist, you will help solve a variety of technical challenges and mentor other engineers. You will tackle challenging, novel situations every day and given the size of this initiative, you’ll have the opportunity to work with multiple technical teams at Amazon in different locations. You should be comfortable with a degree of ambiguity that’s higher than most projects and relish the idea of solving problems that, frankly, haven’t been solved at scale before - anywhere. Along the way, we guarantee that you’ll learn a ton, have fun and make a positive impact on millions of people.About the teamWhy AWSAmazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.Diverse ExperiencesAmazon values diverse experiences. Even if you do not meet all of the preferred 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.Work/Life BalanceWe value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud.Inclusive Team CultureHere at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.Mentorship and Career GrowthWe’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.BASIC QUALIFICATIONS- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience- 3+ years of building models for business application experience- Experience in patents or publications at top-tier peer-reviewed conferences or journals- Experience programming in Java, C++, Python or related language- Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing ...

We are looking for a passionate, talented, and resourceful Senior Applied Scientist in the field of LLM, Artificial Intelligence (AI), Natural Language Processing (NLP), Recommender Systems and/or Information Retrieval, to invent and build scalable solutions for a state-of-the-art context-aware GenAI application. A successful candidate will have strong machine learning background and a desire to push the envelope in one or more of the above areas. The ideal candidate would also have hands-on experiences in building Agentic AI solutions with LLMs, enjoy operating in dynamic environments, be self-motivated to take on challenging problems to improve customer experience, moving fast to ship solutions and then iterating on user feedback and interactions.Key job responsibilities- Leverage your technical expertise to lead the development of Large Language Model (LLM) technologies.- Tackle complex problems in LLM modeling and engineering. - Set direction and collaborate with applied scientists and engineers. - Research and develop techniques to reduce friction and enable scientific solutions for products Analyze and improve customer experiences using Amazon's diverse data sources and computing resources. - Work on core LLM technologies, including: Continual Pre-Training (CPT), Supervised Fine-Tuning (SFT), Reinforcement Learning from Human Feedback (RLHF) and Evaluation methodologies.- Your work will directly impact customers through novel products and services.A day in the life- Partner with stakeholders to identify science strategies and solutions for business problems- Analyze, understand, and model customer experience risk with Amazon products and services with passion towards solving for international customer-centric challenges. - Develop and build novel online and offline evaluation metrics, focus on international customer specific model performance tuning. - Quickly experiment and setup experimentation framework for agile model and data analysis - Deploy science models to production systems in partnership with the engineering team- Lead junior scientists to contribute to industry first research and to drive the innovation forward.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!Benefits summary: 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) PlanAbout the teamCustomer Experience Risk Services (CXRS) is focused on making Amazon the most trusted company on earth for consumers, advertisers, developers, creators, selling partners (and more to come). We build risk products and machine learning services to scale expert knowledge and learnings from past projects for business teams to identify risks prior to launching external products and services.BASIC QUALIFICATIONS- 3+ years of building machine learning models for business application experience- PhD, or Master's degree and 6+ years of applied research experience- Experience programming in Java, C++, Python or related language- PhD in math/statistics/engineering or other equivalent quantitative discipline, or Master's degree- Solid ML background and familiar with standard NLU, NLG, and LLM techniques ...

We are seeking a Senior Research Scientist who is curious, driven, and passionate about data insights and analytics. You will design, execute, and analyze user experiments to guide the development of Amazon FinTech products from a research prototype to launch. This role is on the FinTech UX Design and Research team with the impact, autonomy, flexibility, and speed of innovation of a high-growth startup, powered by the resources of Amazon. You will drive a program that oversees customer sentiment and attitudes at scale, using your unique research skills to uncover customer insights that help drive tactical and strategic product decisions across the organization. You will work alongside UX Designers and Researchers to advocate for our customers through quantitative and qualitative storytelling. Here at Amazon, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences. Amazon’s culture of inclusion is reinforced within our 14 Leadership Principles, which remind team members to seek diverse perspectives, learn and be curious, and earn trust.Work/life BalanceOur team puts a high value on work-life balance. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.Mentorship & Career GrowthOur team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge sharing and mentorship all while having fun. Our senior members enjoy one-on-one mentoring and thorough, but kind, design reviews.Key job responsibilitiesIn this role, you will:• Own the development and establishment of a research program focused on measuring customer experience outcomes (CXO) or Voice of the Customer, which provides thought leadership to product teams and the broader organization.• Design and execute empirical research of medium to large scale that measures customer behavior and sentiment. Own the end-to-end analysis process including defining key business questions, recommending measures, data sources, methodology and study design, dataset creation, analysis execution, interpretation and presentation and publication of results.• Triangulate insights with key top-of-funnel metrics (e.g. usage, customer engagement) and other datasets to develop regular ways to report on drivers of movement with recommended action items aligned to business goals.• Own all communications to project members and stakeholders on progress, issues, and risks, provide pre and post launch communications to impacted teams. Communicate insights to non-scientific audiences in a compelling way.• Work with UX Design and Product partners to establish Voice of the Customer success metrics and tools for tracking and developing ongoing program improvement plans to meet relevant business needs.• Create long-term research roadmaps and opportunity frameworks that align to and inform product strategy and goals.• Collaborate with UX designers, product managers, and engineering to evaluate prototypes, functional mockups, usability testing, A/B testing, etc.• Build durable, scalable points-of-view and knowledge management tools that are leveraged within the Amazon FinTech Team and by other organizations across Amazon.• Advocate for the right insights and prioritization of research – ensure the right research questions are being asked; educate the organization on opportunities revealed by your own research and that of others; create and execute against long-term research roadmaps and opportunity frameworks that align to and inform high-level business strategy and goals.BASIC QUALIFICATIONS- 5+ years of investigating the feasibility of applying scientific principles and concepts to business problems and products experience- PhD, or Master's degree and 5+ years of quantitative field research experience- Broad experience designing and running a full range of research methods: qualitative and quantitative, attitudinal and behavioral, with deep expertise in one or more areas.- Demonstrated effectiveness in written, verbal, and visual communication skills; ability to distill complex ideas into concise and accurate narratives that enlighten and inspire.- Ability to independently drive multiple concurrent projects in an agile environment.- Strategic, business-building approach to UX research with a passion for translating data into bottom-line impact.- Passion for understanding the latest learnings and innovations in behavioral science, research methods, and UX design and applying these to your work. ...

Amazon is looking for talented Postdoctoral Scientists to join our Corporate Projects team for a one-year, full-time research position. Corporate Projects is a team that sits within the broader Corporate Development organization at Amazon. We seek to bring net-new, strategic projects to life by working together with customers and evolving projects from ZERO-to-ONE. To do so, we deploy our resources towards proofs-of-concept and pilot programs and develop them from high-level ideas (the ZERO) to tangible short-term results that provide validating signal and a path to scale (the ONE). We work with our customers to develop and create net-new opportunities by relentlessly scouring all of Amazon and finding new and innovative ways to strengthen and/or accelerate the Amazon Flywheel.As a Postdoctoral Scientist on the Corporate Projects team, you will develop algorithms and approaches to identifying and characterizing people and objects in an FC scene. The postdoc will work across Amazon to learn about programs developing related systems take the data collected by the Toucan team in the field to create and train a vision classifier. The postdoc will collaborate with other team members to test it and refine itKey job responsibilitiesIn this role you will:* Work closely with a senior science advisor, collaborate with other scientists and engineers, and be part of Amazon’s vibrant and diverse global science community.* Publish your innovation in top-tier academic venues and hone your presentation skills.* Be inspired by challenges and opportunities to invent cutting-edge techniques in your area(s) of expertise.BASIC QUALIFICATIONS* PhD in a relevant field, received within 2 years of starting the program* Proven publication record in Operations Research, Machine Learning, Robotics, Computer Vision, AI, Computer Science, Economics, or other related technical fields* Experience in data science and quantitative research* Proficiency in technologies relevant to the subfieldRequired application materials:* CV, which lists all peer-reviewed publications and conferences* Research statement that outlines your research achievements and future research interests* A journal article or book chapter that demonstrates your domain expertise ...

Are you inspired by invention? Is problem solving through teamwork in your DNA? Do you like the idea of seeing how your work impacts the bigger picture? Answer yes to any of these and you’ll fit right in here at Amazon Robotics. We are a smart team of doers that work passionately to apply advances in robotics and software to solve real-world challenges that will transform our customers’ experiences in ways we can’t even imagine yet. We invent new improvements every day. We are Amazon Robotics and we will give you the tools and support you need to invent with us in ways that are rewarding, fulfilling and fun.Amazon Robotics is seeking Applied Scientists with a passion for robotic research. Our team works on challenging and high-impact projects within robotics. Examples of projects include allocating resources to complete a million orders a day, coordinating the motion of thousands of robots, autonomous navigation in warehouses, identifying objects and damage, and learning how to grasp all the products Amazon sells.BASIC QUALIFICATIONS- PhD, or Master's degree and 4+ relevant robotics experience, in Computer Science, Robotics, Engineering, Machine Learning, Operations Research, Mathematics, or a related quantitative field- At least 1 year of relevant academic research or industry experience within Robotics, Computer Vision, Machine Learning, Optimization, Manipulation, Perception, Motion Planning and Controls, Movement, Autonomous Navigation, Path Planning, or related- Experience programming in Java, C++, Python, or related ...

The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning and Generative AI.AWS has the most services and more features within those services, than any other cloud provider–from infrastructure technologies like compute, storage, and databases–to emerging technologies, such as machine learning and artificial intelligence, data lakes and analytics, and Internet of Things.You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills, are self-driven and own the delivery of high quality results in a fast-paced environment.Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/As an Applied Scientist in AWS AI, you will play a pivotal role in shaping the definition, vision, design, roadmap and development of product features from beginning to end. You will:* Define and implement new formal reasoning applications that employ scalable and efficient approaches to solve complex problems using Automated Reasoning and Generative AI technologies.* Apply software engineering best practices to ensure a high standard of quality for all team deliverables* Work in an agile, startup-like development environment, where you are always working on the most important stuff* Deliver high-quality scientific artifacts* Work with the team to lower the barrier of adoption for interactive theorem provers* Work with the team to help drive business decisionsLearn and Be Curious. We have a formal mentor search application that lets you find a mentor that works best for you based on location, job family, job level etc. Your manager can also help you find a mentor or two, because two is better than one. In addition to formal mentors, we work and train together so that we are always learning from one another, and we celebrate and support the career progression of our team members.Key job responsibilities* Design and implement scalable systems for formal reasoning and automated theorem proving.* Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.* Enhance and extend the capabilities of formal reasoning systems to meet application-specific demands.* Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.A day in the lifeWhy AWS?Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.Diverse ExperiencesAWS values diverse experiences. Even if you do not meet all of the preferred 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. Inclusive Team CultureHere at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.Mentorship & Career GrowthWe’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Work/Life BalanceWe value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve. EEO/AccommodationsAWS is committed to a diverse and inclusive workplace to deliver the best results for our customers. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status; we celebrate the diverse ways we work. For individuals with disabilities who would like to request an accommodation, please let us know and we will connect you to our accommodation team. You may also reach them directly by visiting https://www.amazon.jobs/en/disability/us.About the teamThe AWS Automated Reasoning Group is a talented group of scientists from around the world. Their areas of expertise include interactive theorem proving, generative AI, SAT/SMT solvers, and programming language theory.BASIC QUALIFICATIONS- Ph.D. in Electrical Engineering, Computer Science, Mathematics, or related technical field OR MS degree and 4+ years of industrial/academic experience in interactive theorem proving and/or automated reasoning.- 4+ years of experience with programming languages such as Rust, Python, C/C++ and open-source technologies and open-source technologies- 4+ years of experience in design and analysis of algorithms and data structures ...

Amazon is looking for talented Postdoctoral Scientists to join our Amazon Robotics team for a one-year, full-time research position.The host team is developing novel approaches to mobile robot operation to carry a wide range of loads and perform different roles in Amazon logistics. These robots are used in automating material handling throughout the fulfillment and sortation processes. The team focuses in multi-robot coordination and planning, while developing cost-sensitive solutions.The postdoc is expected to develop novel control and planning algorithms for a fleet of agile robots, working closely with mechanical engineers. Experience with hands-on development and bring-up of robotic systems would be a significant contribution to team goals.Key job responsibilities• Work closely with a senior science advisor, collaborate with other scientists and engineers, and be part of Amazon’s vibrant and diverse global science community.• Publish your innovation in top-tier academic venues and hone your presentation skills.• Be inspired by challenges and opportunities to invent cutting-edge techniques in your area(s) of expertise.• Be comfortable with a fast-paced work with a lot of unknowns and hands-on engagement.BASIC QUALIFICATIONS• PhD in a relevant field, received within 2 years of starting the program• Proven publication record in Robotics Control and Path Planning for mobile robots * Experience in multi-robot planning* Proficiency in technologies relevant to the subfield ...

Transform analytics at global scale with cutting-edge AI/ML and GenAI - Join the founding team of the Science Center of Excellence at ShipTech Analytics!Revolutionize transportation analytics worldwide by leveraging the latest AI/ML research and technologies at Amazon ShipTech Analytics (STA). As a Sr. Applied Scientist, you'll spearhead initiatives to tackle critical business challenges, optimizing operations and driving innovation across Amazon's massive transportation network.- Pioneer the flagship AI-programs, employing traditional ML and GenAI to derive insights and recommendations for crucial metrics like Delivery Estimate Accuracy (DEA)- Optimize business review processes at scale, directly impacting operations for 100K+ Amazonians worldwide- Collaborate with top minds in AI/ML, working on complex, high-impact problems in the transportation domain- Drive innovation and thought leadership in supply chain analytics, shaping the future of Amazon's logistics operations.We're seeking motivated, multi-talented individuals passionate about pushing the boundaries of AI/ML and GenAI in transportation analytics. Join the founding team of STA's Science Center of Excellence and leave your mark on Amazon's global logistics operations. Apply now for this unique opportunity to transform analytics at an unprecedented scale!Key job responsibilitiesYou will work closely with business/operations leaders, product managers, business intelligent engineers, software engineering leadership & senior engineers to build capabilities that transform our transportation analytics. This includes analyzing big data, building end-to-end analytics pipelines, prototype optimization/ML/simulation models, and launch production capabilities. You will have exposure to senior leadership as you communicate results and provide scientific guidance to the business. Your insights will be a key influencer of our product strategy and roadmap and your experimental research will inform our future investment areas.BASIC QUALIFICATIONS- 4+ years of building machine learning models for business application experience- PhD, or Master's degree and 6+ years of building machine learning models for business application experience- Experience programming in Java, C++, Python or related language- Experience with neural deep learning methods and machine learning ...