A blue plaque at Kings College in Cambridge commemorating former student and computer pioneer Alan Turing
A blue plaque at Kings College in Cambridge, UK, commemorating former student and computer pioneer Alan Turing.
chrisdorney/Getty Images

Does the Turing Test pass the test of time?

Four Amazon scientists weigh in on whether the famed mathematician's definition of artificial intelligence is still applicable, and what might surprise him most today.

On Oct. 1, 1950, the journal Mind featured a 27-page entry authored by Alan Turing. More than 70 years later, that paper — "Computing Machinery and Intelligence" — which posed the question, “Can machines think?” remains foundational in artificial intelligence.

However, while the paper is iconic, the original goal of building a system comparable to human intelligence has proved elusive. In fact, Alexa VP and Head Scientist Rohit Prasad has written, “I believe the goal put forth by Turing is not a useful one for AI scientists like myself to work toward. The Turing Test is fraught with limitations, some of which Turing himself debated in his seminal paper.”

Clockwise from top left: Yoelle Maarek, vice president of research and science for Alexa Shopping; Alex Smola, AWS vice president and distinguished scientist; Gaurav Sukhatme, the USC Fletcher Jones Foundation Endowed Chair in Computer Science and Computer Engineering and an Amazon Scholar; Nikko Strom, Alexa AI vice president and distinguished scientist.
Clockwise from top left: Yoelle Maarek, vice president of research and science for Alexa Shopping; Alex Smola, AWS vice president and distinguished scientist; Gaurav Sukhatme, the USC Fletcher Jones Foundation Endowed Chair in Computer Science and Computer Engineering and an Amazon Scholar; Nikko Ström, Alexa AI vice president and distinguished scientist.

In light of the 2021 AAAI Conference on Artificial Intelligence, we asked scientists and scholars at Amazon how they view that paper today. We spoke with Yoelle Maarek, vice president of research and science for Alexa Shopping; Alex Smola, AWS vice president and distinguished scientist; Nikko Ström, Alexa AI vice president and distinguished scientist; and Gaurav Sukhatme, the USC Fletcher Jones Foundation Endowed Chair in Computer Science and Computer Engineering and an Amazon Scholar.

We asked them whether Turing’s definition of artificial intelligence still applies, what they think Turing would be surprised by in 2020, and which of today’s problems researchers will still be puzzling over 70 years from now.

Q. Does Turing’s definition of AI (essentially “a test of a machine's ability to exhibit intelligent behavior equivalent to, or indistinguishable from, that of a human”) still apply, or does it need to be updated?

Smola: “The core of the question remains as relevant as it was 70 years ago. That said, I would argue that rather than seeking binary (yes/no) tests for AI we should have something more gradual. For instance, the argument could be about how long a machine can fool a human. Alexa and others by now do a pretty good job for many queries for single turn, and there are even multi-turn systems that are pretty capable. In fact, you can test out some of them as part of the Alexa Prize (‘Alexa, let’s chat’). Using time, you can measure progress more finely, e.g., by the number of minutes (or turns) it takes to uncover the imposter, rather than a fixed time limit.”

Evaluating AI on the basis of being indistinguishable from human intelligence makes as much sense as evaluating airplanes based on being indistinguishable from birds.
Nikko Strom

Maarek: “It is clear it is not a perfect definition. First, I doubt there exists a universally agreed-upon definition of intelligence, and it is not clear what ‘a human’ refers to. Is that any human? Can a machine be indistinguishable from some humans and not from others? It is, however, a simplifier that can still be used for inspiration. And it does bring inspiration, see for instance the outstanding progress in chess or Go. There are, of course, so many other areas where machines still require learning, and these challenges keep inspiring scientists. Two such areas, among others, on which we are focusing in Alexa Shopping Research are to make advancements in conversational shopping (as a subfield of conversational AI) and computational humor. With even small progress in these hard AI challenges, I am sure we will bring tremendous value to our customers and even make them smile.”

Ström: “Evaluating AI on the basis of being indistinguishable from human intelligence makes as much sense as evaluating airplanes based on being indistinguishable from birds. We may never have a single definition, but a common thread is generalizability, i.e., the ability to be successful in novel situations, not considered during the design of the system. To achieve such generalization, an AI needs the ability to reason and plan, have a representation of world-knowledge, an ability to learn and remember, and an ability to regulate and integrate those cognitive capabilities toward goals.

"The AI also needs to be an active participant in the world, and when evaluating intelligence, one needs to consider not just whether goals are met, but how efficiently goals are reached based on efficacy metrics that depend on the application — e.g., cost, energy use, speed, et cetera. My prediction is that once one or several successful such systems exist, a standard model will emerge that becomes a de facto definition of AI.”

Sukhatme: “I think the idea that we want a machine to have the ‘ability to exhibit intelligent behavior equivalent to, or indistinguishable from, that of a human’ still applies when thinking about AI. However, this idea has over the years been interpreted very narrowly when it comes to the ‘test’ – i.e. people look for human-like performance on some narrow task. I think we need to remind people that intelligence is very broad set of capabilities and we need to acknowledge that humans have deep understanding of the world, are social, have empathy, can and do learn continually and can do a very broad range of things. If we are to say that we’ve built a machine or system that exhibits AI, I would want to see it exhibit behavior indistinguishable from humans on a similar breadth of abilities.”

Q. In terms of AI, what do you think would surprise Turing today?

I think he'd be surprised at how far we’ve come in terms of the technological artifacts we’ve produced. And he’d be disappointed in how un-intelligent they are
Gaurav Sukhatme

Sukhatme: “I think he’d be surprised at how far we’ve come in terms of the technological artifacts we’ve produced. And he’d be disappointed in how un-intelligent they are.”

Maarek: “Hard to answer, as this is pure speculation. But I would like to believe that computational humor would be one of them, simply because it makes us all smile.”

Ström: “The resolution of Moravec's paradox. Machine learning and, in particular, deep learning, is now enabling us to solve sensorimotor tasks in robotics, and sensory tasks such as object recognition and speech recognition. Yet general intelligence is still a hard, largely unsolved, problem. I also think Turing would be fascinated by quantum computers.”

Smola: “The thing that would surprise Turing the most is probably the amount of data and its ready availability. The fact that we can build language models on more than 1 trillion characters of text, or that we have hundreds of millions of images available, is probably the biggest differentiator. It’s only thanks to these mountains of data that we’ve been able to build systems that generate speech (e.g. Amazon Polly), that translate text (e.g. Amazon Translate), that recognize speech (e.g. Transcribe), that recognize images, faces in images, or that are able to analyze poses in video.

"At the same time, it’s unclear whether he would have anticipated the exponential growth in computation. The UNIVAC was capable of performing around 4,000 floating point operators (FLOPS) per second. Our latest P4 servers can carry out around 1-2 PetaFLOPS, so that’s 1,000,000,000,000,000 multiply-adds — and you can rent them for around $30 an hour.”

Q. Which of today’s theoretical questions will scientists still be puzzling about in 2090?

Sukhatme: “How do human brains do what they do in such an energy efficient manner? What is consciousness?”

Maarek: “In terms of theoretical computer science problems, I believe that hard AI problems like Winograd Schema Challenge, will be resolved. But I want to believe that other AI challenges, like giving a true sense of humor to machines, won’t be solved yet. It's humbling to think that in 1534 the French writer François Rabelais said, 'le rire est le propre de l’homme' — which can be translated as 'the laugh is unique to humans'. It’s probably why my team is researching computational humor — it’s fun and hard.”

Ström: “In 70 years, I predict that AI has been solved for practical purposes and is used for cognitive tasks, small and large. So that is not it. Some long-standing profound questions like NP=P will still be unsolved. The physics model of time, space, energy and matter will still not be complete, and the question about how life spontaneously emerges from lifeless building-blocks will still puzzle both human and synthetic scientists. Unless we get lucky, 70 years will also not be enough to determine if there is alien intelligent life in our galaxy.”

In the foreground, a welcome to Bletchley Park offers a guide, in the background a group of tourists get a guided tour. This area was used in World War 2 to break the German Enigma Codes.
A group of tourists get a guided tour of the grounds of Bletchley Park. This area was used in World War 2 to break the German Enigma Codes.
NeonJellyfish/Getty Images

Smola: “That’s really difficult since most projections don’t hold up well, even for a decade or so. In 2016, when I interviewed for a job and was deciding between Amazon and another major company, I was told at that other company that I was making a mistake in betting on AI in the cloud. Problems that will keep us awake, probably forever, are how to appropriately balance innovation while also protecting individual liberties. Those challenges will require continuous and careful consideration by multiple stakeholders in academia, industry, government, and our society. Likewise, we will never be able to have a full characterization of the empirical power of our statistical tools. In simple terms, we’ll likely always encounter algorithms that work way better than they should in theory. Lastly, there’s the issue of actually gaining causal understanding from data as to how the world works. This is hard and has been vexing (natural) scientists for centuries.

"Areas where we will likely see a lot of progress include autonomous systems. There’s so much economic promise in self-driving vehicles that I think we will eventually deliver something that works. The algorithms used for cars can also be adapted for a wide variety of other problems such as manufacturing, maintenance, et cetera. The next decade or two will be amazing — and we’ll likely also see great progress on the Turing test itself.”

Research areas

Related content

IL, Haifa
Come build the future of entertainment with us. Are you interested in helping shape the future of movies and television? Do you want to help define the next generation of how and what Amazon customers are watching? Prime Video is a premium streaming service that offers customers a vast collection of TV shows and movies - all with the ease of finding what they love to watch in one place. We offer customers thousands of popular movies and TV shows from Originals and Exclusive content to exciting live sports events. We also offer our members the opportunity to subscribe to add-on channels which they can cancel at any time and to rent or buy new release movies and TV box sets on the Prime Video Store. Prime Video is a fast-paced, growth business - available in over 240 countries and territories worldwide. The team works in a dynamic environment where innovating on behalf of our customers is at the heart of everything we do. If this sounds exciting to you, please read on As a Prime Video technologist, you’ll have end-to-end ownership of the product, user experience, design, and technology required to deliver state-of-the-art experiences for our customers. You’ll get to work on projects that are fast-paced, challenging, and varied. You’ll also be able to experiment with new possibilities, take risks, and collaborate with remarkable people. We’ll look for you to bring your diverse perspectives, ideas, and skill-sets to make Prime Video even better for our customers. With global opportunities for talented technologists, you can decide where a career Prime Video Tech takes you! Key job responsibilities As an Applied Scientist at Prime Video, you will have end-to-end ownership of the product, related research and experimentation, applying advanced machine learning techniques in computer vision (CV), natural language processing (NLP), multimedia understanding and so on. You’ll work on diverse projects that enhance Prime Video’s recommendation systems, image/video understanding, and content personalization, driving impactful innovations for our global audience. Other responsibilities include: - Lead cutting-edge research in computer vision and natural language processing, applying it to video-centric media challenges. - Develop scalable machine learning models to enhance media asset generation, content discovery, and personalization. - Collaborate closely with engineering teams to integrate your models into production systems at scale, ensuring optimal performance and reliability. - Actively participate in publishing your research in leading conferences and journals. - Lead a team of skilled applied scientists, you will shape the research strategy, create forward-looking roadmaps, and effectively communicate progress and insights to senior leadership - Stay up-to-date with the latest advancements in AI and machine learning to drive future research initiatives. About the team At Prime Video, we strive to deliver the best-in-class entertainment experiences across devices for millions of customers. Whether it’s developing new personalization algorithms, improving video content discovery, or building robust media processing systems, our scientists and engineers tackle real-world challenges daily. You’ll be part of a fast-paced environment where experimentation, risk-taking, and innovation are encouraged.
US, MA, Boston
The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible to all developers.
US, WA, Bellevue
Welcome to the Worldwide Returns & ReCommerce team (WWR&R) at Amazon.com. WWR&R is an agile, innovative organization dedicated to ‘making zero happen’ to benefit our customers, our company, and the environment. Our goal is to achieve the three zeroes: zero cost of returns, zero waste, and zero defects. We do this by developing groundbreaking products and driving truly innovative operational excellence to help customers keep what they buy, recover returned and damaged product value, keep thousands of tons of waste from landfills, and create the best customer returns experience in the world. We have an eye to the future – we create long-term value at Amazon by focusing not just on the bottom line, but on the planet. We are building the most sustainable re-use channel we can by driving multiple aspects of the Circular Economy for Amazon – Returns & ReCommerce. Amazon WWR&R is comprised of business, product, operational, program, software engineering and data teams that manage the life of a returned or damaged product from a customer to the warehouse and on to its next best use. Our work is broad and deep: we train machine learning models to automate routing and find signals to optimize re-use; we invent new channels to give products a second life; we develop highly respected product support to help customers love what they buy; we pilot smarter product evaluations; we work from the customer backward to find ways to make the return experience remarkably delightful and easy; and we do it all while scrutinizing our business with laser focus. You will help create everything from customer-facing and vendor-facing websites to the internal software and tools behind the reverse-logistics process. You can develop scalable, high-availability solutions to solve complex and broad business problems. We are a group that has fun at work while driving incredible customer, business, and environmental impact. We are backed by a strong leadership group dedicated to operational excellence that empowers a reasonable work-life balance. As an established, experienced team, we offer the scope and support needed for substantial career growth. Amazon is earth’s most customer-centric company and through WWR&R, the earth is our customer too. Come join us and innovate with the Amazon Worldwide Returns & ReCommerce team! Key job responsibilities * Design, develop, and evaluate highly innovative models for Natural Language Programming (NLP), Large Language Model (LLM), or Large Computer Vision Models. * Use SQL to query and analyze the data. * Use Python, Jupyter notebook, and Pytorch to train/test/deploy ML models. * Use machine learning and analytical techniques to create scalable solutions for business problems. * Research and implement novel machine learning and statistical approaches. * Mentor interns. * Work closely with data & software engineering teams to build model implementations and integrate successful models and algorithms in production systems at very large scale. 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! Benefits: 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 About the team When a customer returns a package to Amazon, the request and package will be passed through our WWRR machine learning (ML) systems so that we could improve the customer experience, identify return root cause, optimize re-use, and evaluate the returned package. Our problems touch multiple modalities spanning from: textual, categorical, image, to speech data. We operate at large scale and rely on state-of-the-art modeling techniques to power our ML models: XGBoost, BERT, Vision Transformers, Large Language Models.
US, CA, Santa Clara
Amazon CloudWatch is the native AWS monitoring and observability service for cloud resources and applications. We are seeking a talented Senior Applied Scientist to develop next-generation scientific methods and infrastructure to support a core AWS business that delivers critical services to millions of customers operating at scale. This is a high visibility and high impact role that work on highly strategic projects in the AI/ML and Analytics space, will interact with all levels of AWS leadership. We are developing solutions that not only surface the “what” but also the “why” and “how to fix it”, without requiring operators to have extensive domain knowledge and technical expertise to efficiently troubleshoot and remediate incidents. Using decades of AWS operational excellence coupled with the advances in LLMs and Gen-AI technologies, we are transforming the very core of how customers can effortlessly interact with our offerings to build and operate their applications in the cloud. We are hiring to grow our team, and are looking for well-rounded applied scientists with backgrounds in machine learning, foundation models, and natural language processing. You'll be working with talented scientists, engineers, and product managers to innovate on behalf of our customers. If you're fired up about being part of a dynamic, mission driven team, then this is your moment to join us on this exciting journey! Key job responsibilities As an Applied Scientist II you will be responsible for * Research and development of algorithms that improve training of foundation models across pre-training, multitask learning, supervised finetuning, and reinforcement learning from human feedback * Research and development of novel approaches for anomaly detection, root cause analysis, and provide intelligent insights from vast amounts of monitoring and observability data * Collaborating with scientists, engineers, and Product Managers across CloudWatch team as well as directly with customers * Lead key science initiatives in strategic investment areas of AI/ML/LLM Ops and Observability * Be an industry thought leader representing Amazon at top-tier scientific conferences * Engaging in the hiring process and developing, growing, and mentoring junior scientists A day in the life Working closely with and across agile teams, you will be able to see and feel the impact of your work on our customers. This is a high visibility and high impact role that will interact with all levels of AWS leadership. Our ideal candidate is excited about the incredible opportunity that cloud monitoring represents and is deeply passionate about delivering the highest quality services leveraging AI/ML/LLMs. You’re naturally customer centric and thrive in a fast-paced environment that requires strong technical and business judgment and solid communication skills. About the team Amazon CloudWatch Logs is a core monitoring service used by millions of AWS customers. We move fast and have delivered remarkable products and features over the last few years to streamline how AWS customers troubleshoot their critical applications. Our mission is to be the most cost effective, integrated, fast, and secure logs management and analytics platform for AWS customers. We are a diverse group of product and engineering professionals that are passionate about delivering logging features that delight customers operating at any scale. 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. 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 Culture Here 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 Balance We 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 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, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Diverse Experiences Amazon 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.
US, WA, Seattle
"We see our customers as invited guests to a party, and we are the hosts. It's our job every day to make every important aspect of the customer experience a little bit better." - Jeff Bezos, Founder & CEO. We didn’t make Amazon a trillion-dollar company, our customers did and we want to ensure that our customers always have a positive experience that keeps them coming back to Amazon. To help achieve this, the Worldwide Defect Elimination (WWDE) team, within Amazon Customer Service (CS), relentlessly focuses on maintaining customer trust by building products that offer appropriate resolutions to resolve issues faced by our customers. WWDE scientists solve complex problems and build scalable solutions to help our customers navigate through issues and eliminate systemic defects to prevent future issues. As a Research Scientist, your role is pivotal in leveraging advanced Artificial Intelligence (AI) and Machine Learning (ML) techniques to address customer issues at scale. You'll develop innovative solutions that summarize and detect issues, organize them using taxonomy, and pinpoint root causes within Amazon systems. Your expertise will drive the identification of responsible stakeholders and enable swift resolution. Utilizing the latest techniques, you will build an AI ecosystem that can efficiently comb over our billions of customer interactions (using a combination of media). As a part of this role, you will collaborate with a large team of experts in the field and move the state of defect elimination research forward. You should have a knack for leveraging AI to translate complex data insights into actionable strategies and can communicate these effectively to both technical and non-technical audiences. Key job responsibilities - Develop ML/GenAI-powered solutions for automating defect elimination workflows - Design and implement robust metrics to evaluate the effectiveness of ML/AI models - Perform statistical analyses and statistical tests, including hypothesis testing and A/B testing - Recognize and adopt best practices in reporting and analysis: data integrity, test design, analysis, validation, and documentation A day in the life 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: - Medical, Dental, and Vision Coverage - Maternity and Parental Leave Options - Paid Time Off (PTO) - 401(k) Plan 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.
BR, SP, Sao Paulo
Esta é uma posição de colaborador individual, com base em nosso escritório de São Paulo. Procuramos uma pessoa dinâmica, analítica, inovadora, orientada para a prática e com foco inabalável no cliente. Na Amazon, nosso objetivo é exceder as expectativas dos clientes, garantindo que seus pedidos sejam entregues com máxima rapidez, precisão e eficiência de custo. A determinação da rota de cada pacote é realizada por sistemas complexos, que precisam acompanhar o crescimento acelerado e a complexidade da malha logística no Brasil. Diante desse cenário, a equipe de Otimização de Supply Chain está à procura de um cientista de dados experiente, capaz de desenvolver modelos, ferramentas e processos para garantir confiabilidade, agilidade, eficiência de custos e a melhor utilização dos ativos. O candidato ideal terá sólidas habilidades quantitativas e experiência com conjuntos de dados complexos, sendo capaz de identificar tendências, inovar processos e tomar decisões baseadas em dados, considerando a cadeia de suprimentos de ponta a ponta. Key job responsibilities * Executar projetos de melhoria contínua na malha logística, aproveitando boas práticas de outros países e/ou desenvolvendo novos modelos. * Desenvolver modelos de otimização e cenários para planejamentos logísticos. * Criar modelos de otimização voltados para a execução de eventos e períodos de alta demanda. Automatizar processos manuais para melhorar a produtividade da equipe. * Auditar operações, configurações sistêmicas e processos que possam impactar custos, produtividade e velocidade de entregas. * Realizar benchmarks com outros países para identificar melhores práticas e processos avançados, conectando-os às operações no Brasil. About the team Nosso time é composto por engenheiros de dados, gerentes de projetos e cientistas de dados, todos dedicados a criar soluções escaláveis e inovadoras que suportem e otimizem as operações logísticas da Amazon no Brasil. Nossa missão é garantir a eficiência de todas as etapas da cadeia de suprimentos, desde a primeira até a última milha, ajudando a Amazon a entregar resultados com agilidade, precisão e a um custo competitivo, especialmente em um ambiente de rápido crescimento e complexidade.
US, CA, San Francisco
We are hiring an Economist with the ability to disambiguate very challenging structural problems in two and multi-sided markets. The right hire will be able to get dirty with the data to come up with stylized facts, build reduced form model that motivate structural assumptions, and build to more complex structural models. The main use case will be understanding the incremental effects of subsidies to a two sided market relate to sales motions characterized by principal agent problems. Key job responsibilities This role with interface directly with product owners, scientists/economists, and leadership to create multi-year research agendas that drive step change growth for the business. The role will also be an important collaborator with other science teams at AWS. A day in the life Our team takes big swings and works on hard cross organizational problems where the optimal success rate is not 100%. We also ask people to grow their skills and stretch and make sure we do it in a supportive and fun environment. It’s about empirically measured impact, advancement, and fun on our team. We work hard during work hours but we also don’t encourage working at nights or on weekends except in very rare, high stakes cases. Burn out isn’t a successful long run strategy. Because we invest in the long run success of our group it’s important to have hobbies, relax and then come to work refreshed and excited. It makes for bigger impact, faster skill accrual and thus career advancement. About the team Our group is technically rigorous and encourages ongoing academic conference participation and publication. Our leaders are here for you and to enable you to be successful. We believe in being servant leaders focused on influence: good data work has little value if it doesn’t translate into actionable insights that are rolled out and impact the real economy. We are communication centric since being able to explain what we do ensures high success rates and lowers administrative churn. Also: we laugh a lot. If it’s not fun, what’s the point?
US, MA, Boston
The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible to all developers.
US, WA, Seattle
This is a unique opportunity to join a small, high-impact team working on AI agents for health initiatives. You will lead the crucial data foundation of our project, managing health data acquisition, processing, and model evaluation, while also contributing to machine learning model development. Your work will directly influence the creation and improvement of AI solutions that could significantly impact how individuals manage their daily health and long-term wellness goals. If you're passionate about leveraging data and developing ML models to solve meaningful problems in healthcare through AI, this role is for you. You'll work on large-scale data processing, design annotation workflows, develop evaluation metrics, and contribute to the machine learning algorithms that drive the performance of our health AI agents. You'll have the chance to innovate alongside healthcare experts and data scientists. In this early-stage initiative, you'll have significant influence on our data strategies and ML approaches, shaping how they drive our AI solutions. This is an excellent opportunity for a high-judgment data scientist with ML expertise to demonstrate impact and make key decisions that will form the backbone of our health AI initiatives. Key job responsibilities Be the complete owner for health data acquisition, processing, and quality assurance Design and oversee data annotation workflows Collaborate on data sourcing strategies Lead health data acquisition and processing initiatives Manage AI agent example annotation processes Develop and implement data evaluation metrics Design, implement, and evaluate machine learning models for AI agents, with a focus on improving natural language understanding and generation in health contexts A day in the life You'll work with a cross-disciplinary team to source, evaluate, and leverage health data for AI agent development. You'll shape data acquisition strategies, annotation workflows, and machine learning models to enhance our AI's health knowledge. Expect to dive deep into complex health datasets, challenge conventional data evaluation metrics, and continuously refine our AI agents' ability to understand and respond to health-related queries.
US, CA, San Diego
Do you want to be part of the team developing the future technology that impacts the customer experience of ground-breaking products? Then come join us and make history. We are looking for a passionate, talented, and inventive Applied Scientist with a background in AI, Gen AI, Machine Learning, NLP, to help build LLM solutions for Amazon core shopping. As an Applied Scientist, you will be working closely with a team of applied scientists and engineers to build systems that shape the future of Amazon's by automatically generating relevant content and building a whole page experience that is coherent, dynamic, and interesting. You will improve ranking and optimization in our algorithm. You will participate in driving features from idea to deployment, and your work will directly impact millions of customers.