…and execute on research that pushes forward the state of the art in reasoning research, with an initial focus on formal and informal mathematical…

…Your work will directly impact logical‑qubit stability, throughput, and system scale. At Microsoft Quantum, we aim to empower science and scientists to solve…

…As a Research Scientist, you'll setup large-scale tests and deploy promising ideas quickly and broadly, managing deadlines and deliverables while applying the…

…Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in…

…Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in…

Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability…

…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…

…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…

The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only capable…

…Come work for the Amazon Prime Air team! We're looking for an Applied Scientist who combines deep expertise in formal methods and software…

JOIN THE TEAM BRINGING ADVANCED AUTONOMY TO THE BUILT WORLD At Bedrock, we're moving AI out of the lab and into the real…

…Demonstrated success delivering complex AI, robotics, autonomy, cloud, edge, or distributed-systems products. Experience partnering with scientists and engineers to productize probabilistic or nondeterministic…

…The Director will lead a team of applied scientists, establish the team's research and product roadmap, and translate advances in multimodal Responsible AI…

…Influences across organizations without formal authority. Shapes delivery strategy and AI execution models, not just manages timelines. Creates repeatable delivery excellence and institutional learning…

…Influences across organizations without formal authority. Shapes delivery strategy and AI execution models, not just manages timelines. Creates repeatable delivery excellence and institutional learning…

…and classical AI reasoning. We work across on customer problems in fulfillment, automation and robotics. We focus on high quality research science informed by…

…Participate in broader conversations and skills sharing with engineers, people scientists and data scientists. Stay up to date with current research, literature and provider…

…on knowledge representation and reasoning, information extraction and relationship extr action, graph neural networks, recommendation systems, or conversation AI and dialogue systems. Strong engineering…

…WHAT YOU'LL DO - Lead research projects that apply formal methods, program analysis, automated reasoning, and AI-driven techniques (including code generation and modeling…

…We are a growing team of practicing MDs, AI scientists, PhDs, creatives, technologists, and engineers working together to empower people and make care make…

…Strong understanding of Cloud and AI platforms, familiarity with modern workplace solutions, security, and enterprise architecture and demostrate ability to manage cloud adoption, consumption…

…to identify, engage, and recruit many of the world’s leading and emerging AI researchers, research engineers, and technical scientists working at the frontier…

…maintaining formal safety guarantees • Research and develop methods to quantify and bound perception uncertainty, providing calibrated confidence estimates that safety systems can reason over…

…Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in…

…and classical AI reasoning. We work across on customer problems in fulfillment, automation and robotics. We focus on high quality research science informed by…