AI Hire Signal
JobsCompaniesTrendsInsightsWeekly
JobsStrategy timeline
AI Hire Signal

Tracking AI hiring across 200+ US tech companies. Stage, salary, and stack signals on every role — refreshed weekly.

Contact

Browse

JobsCompaniesTrendsInsightsWeekly

Resources

AboutSitemapRobots

Legal

PrivacyTerms
© 2026 AI Hire Signal·Not affiliated with companies shown

Currently tracking 1110 active AI roles, down 16% versus the prior 4 weeks. Primary focus: Agent · Engineering. Salary range $65k–$465k (avg $194k).

Hiring
1110 / 1810
Momentum (4w)
↓-219 -16%
1133 opens last 4w · 1352 prior 4w
Salary range · avg $194k
$65k–$465k
USD · disclosed roles only
Tracked since
Oct '24
last role today
Hiring velocityscroll left for older weeks
2 new roles
Oct 7
1 new role
Feb 3
1 new role
Mar 10
1 new role
17
1 new role
24
2 new roles
31
1 new role
Apr 14
4 new roles
28
2 new roles
May 12
1 new role
19
1 new role
26
3 new roles
Jun 2
1 new role
9
4 new roles
16
2 new roles
23
2 new roles
30
2 new roles
Jul 14
12 new roles
21
4 new roles
28
4 new roles
Aug 4
5 new roles
11
2 new roles
18
3 new roles
25
11 new roles
Sep 1
4 new roles
8
10 new roles
15
4 new roles
22
8 new roles
29
8 new roles
Oct 6
9 new roles
13
8 new roles
20
15 new roles
27
13 new roles
Nov 3
21 new roles
10
14 new roles
17
21 new roles
24
21 new roles
Dec 1
19 new roles
8
23 new roles
15
12 new roles
22
9 new roles
29
29 new roles
Jan 5
27 new roles
12
26 new roles
19
70 new roles
26
69 new roles
Feb 2
72 new roles
9
59 new roles
16
87 new roles
23
119 new roles
Mar 2
147 new roles
9
142 new roles
16
152 new roles
23
141 new roles
30
182 new roles
Apr 6
214 new roles
13
273 new roles
20
260 new roles
27
334 new roles
May 4
321 new roles
11
332 new roles
18
326 new roles
25
373 new roles
Jun 1
288 new roles
8
352 new roles
15
329 new roles
22
164 new roles
29

Amazon has 1472 active AI-related job listings. The company is heavily focused on roles within the "agents" stage, which accounts for 38% of its AI hiring, followed by "application" at 26%. Engineering is the dominant function, with 1172 positions. Over the last 30 days, Amazon has added 667 new AI roles, representing a 74% increase compared to the previous 30-day period. Frequent tech tags include agent_orchestration, model_serving, and multimodal.

Auto-generated from active job postings · last refreshed 2026-05-24

Frequently asked questions

  • What AI roles is Amazon hiring for?

    Amazon currently has 1573 active AI-related roles in our index. The most common open titles are: ML Data Associate-II (9), 2026 Applied Scientist Intern, Amazon University Talent Acquisition (8), AI Data Associate (Dutch) , Artificial General Intelligence Data Services (8), Software Development Engineer, AWS (8), Senior Delivery Consultant - Data , Professional Services, AWSI HCLS (7). Most positions are in Engineering and Research.

  • What stage of AI development does Amazon focus on?

    Amazon's active AI hiring is concentrated in: agents (41%), application (26%), serving infrastructure (13%). These categories follow a seven-stage AI lifecycle: data, pre-training, post-training, serving infrastructure, agents, evaluation, and application.

  • Where is Amazon hiring AI talent?

    Amazon is hiring AI talent in: United States (1023 roles), Canada (59 roles), United Kingdom (47 roles), India (23 roles).

  • What skills does Amazon look for in AI roles?

    Job postings at Amazon most frequently mention: Machine Learning, Generative AI, Large Language Models (LLMs), Software Engineering, Agentic Systems.

  • How many AI roles has Amazon posted recently?

    In the past 30 days, Amazon has posted 696 new AI-related roles.

Jobs (49)

1110 AI · 3122 total active
FilteredStageAgent×FunctionResearch×CountryUnited States×Clear all
Show
Active onlyAI only (≥ 7)
Stage
AllData · 49Pretrain · 4Post-train · 107Serve · 142Agent · 510Eval Gate · 13Ship · 285
Function
AllEngineering · 867Research · 192Product · 51
Country
AllUnited States · 751Canada · 43United Kingdom · 36Australia · 15India · 14Singapore · 10Spain · 10Belgium · 9Germany · 9Japan · 7Taiwan · 7Brazil · 6Switzerland · 6China · 5Italy · 5Poland · 3South Korea · 3France · 2Mexico · 2Vietnam · 2Egypt · 1Ireland
Sort
AI scoreRecentTitle
TitleStageFunctionLocationFirst seenAI score
Principal, Applied Scientist, AWS Applied AI Solutions
This role focuses on leading technical innovation in visual reasoning foundation models, specifically building a next-generation visual reasoning engine powered by frontier Large Video Models (LVMs). The goal is to create a system that rivals human understanding of the physical world, capable of interpreting natural language, navigating environments, and executing complex tasks. It sits at the intersection of LVMs, LLMs, and Agentic AI, requiring end-to-end ownership from research to production deployment, with a focus on advancing state-of-the-art and solving real-world business problems.
AgentPost-trainResearchSeattle, WAFeb 310
Principal Applied Scientist Perception, Compass
Seeking a Principal Applied Scientist to lead safety-critical perception for robots, developing novel real-time predictive models of dynamic environments and human motion. This role involves architecting generalizable perception pipelines across sensor modalities, investigating foundation models, and quantifying perception uncertainty to ensure safe robot autonomy.
· 1
Malaysia · 1
Portugal · 1
Romania · 1
Sweden · 1
Thailand · 1
AgentData
Research
Pasadena, CA
2w ago
9
Applied Scientist, Conversational Assistant Modeling and Learning
Applied Scientist role at Amazon focusing on building Alexa+, an LLM-powered conversational assistant. Responsibilities include LLM fine-tuning, alignment, agentic reasoning, and evaluation pipelines. The role involves designing and implementing end-to-end systems, translating research into production, and publishing results. It operates at massive scale across multiple languages and device types.
AgentPost-trainResearchBellevue, WA2w ago9
Applied Scientist, Selling Partner Support Engagement
Research scientist role focused on building and improving AI agents for customer support, involving RL-based systems, preference learning, reward modeling, and policy optimization. The role emphasizes end-to-end ownership from research to production deployment, collaboration with engineering teams, and publishing research. It operates within an enterprise AI domain focused on scaling AI solutions for customer interactions.
AgentPost-trainResearchSeattle, WA3w ago9
Human-Robot Interaction Applied Scientist , Fauna
Seeking an HRI Applied Scientist to develop cutting-edge interactions for robots, focusing on verbal/non-verbal systems, social dynamics, memory, and long-term relationships. The role involves developing interactive systems using LLMs, multimodal inputs/outputs, and RLHF, designing conversational systems, integrating sensor streams, and developing memory/personalization systems. The scientist will stay updated on HRI/ML/AI/HCI advancements, lead technical projects, mentor junior staff, and bridge research with engineering.
AgentPost-trainResearchNY +15w ago9
Applied Scientist II, Amazon AWS Agentic AI, AWS AI Fundamental Research
Research scientist role focused on building industry-leading generative AI and foundational models, with a specific emphasis on Agentic AI, impacting millions of customers through speech, vision, and language technologies. The role involves developing novel algorithms and modeling techniques, working with large-scale data and computing resources.
AgentPost-trainResearchSanta Clara, CA5w ago9
Senior Applied Scientist, AWS Quick
Senior Applied Scientist role focused on building next-generation models for intelligent automation within AWS. The role involves designing and implementing neuro-symbolic systems that integrate formal reasoning with GenAI for reliable outcomes, enhancing formal reasoning capabilities for agentic applications, and driving adoption of these solutions across AWS services. It requires end-to-end ownership of the science lifecycle, including research, experimentation, production deployment, and defining performance metrics. The position also involves mentoring junior scientists and contributing to state-of-the-art through publications and patents.
AgentEval GateResearchSanta Clara, CA6w ago9
Member of Technical Staff - Science, Frontier AI & Robotics (FAR)
This role focuses on foundational research and building intelligent robotic systems, operating at the intersection of AI research and robotics. The individual will conduct original research, publish findings, and deploy innovations into production systems at Amazon scale. Key areas include developing foundation models, full-stack robotics systems, locomotion, manipulation, perception, sim2real transfer, multi-modal and multi-task robot learning, and designing frameworks that bridge research and deployment.
AgentPost-trainResearchSan Francisco, CA6w ago9
Applied Scientist, Agentic Automated Reasoning Group
Pioneering next-generation neuro-symbolic tools by fusing AI breakthroughs with cloud scale and automated reasoning expertise. This role involves building scalable formal reasoning solutions, integrating GenAI and Agentic AI, and applying software engineering best practices to production systems. Responsibilities include defining and implementing automated reasoning features, designing and running RL pipelines, experimenting with model tradeoffs, and collaborating cross-functionally. The role also focuses on enhancing formal reasoning systems for GenAI applications, owning the science lifecycle, and advancing the state of the art through publications and patents.
AgentPost-trainResearchNY +17w ago9
Senior Applied Scientist, Shopping Core Foundations - BuyForMe
This role focuses on building and researching autonomous AI agents for online shopping, operating on the open web. It involves LLMs, reinforcement learning, multimodal reasoning, and large-scale systems, with a focus on production-grade reliability, scalability, and safety. The scientist will design evaluation systems, develop agent planning and adaptation techniques, build multimodal reasoning systems, and lead scientific direction for agent reliability and customer trust.
AgentEval GateResearchSeattle, WA7w ago9
Applied Scientist - Agentic AI, Amazon Fulfillment Technology
This role focuses on developing and researching agentic AI systems for operational decision-making and orchestration within Amazon's fulfillment network. It involves building full agentic systems using multi-agent orchestration, tool use, memory, and action execution, training LLMs through various methods including RL, and conducting rigorous evaluations. The role also includes leading research projects, mentoring, and publishing academic papers.
AgentPost-trainResearchBellevue, WA7w ago9
Senior Applied Scientist
Senior Applied Scientist at Amazon focused on using Generative AI, VLMs, and multimodal reasoning to understand product identity and relationships within Amazon's catalog. The role involves formulating research problems, designing and implementing models for product relationship inference and catalog understanding, pioneering explainable AI, owning ML pipelines from research to production, defining research roadmaps, and mentoring peers. It emphasizes tackling ambiguous problems at scale, reasoning across text and images, and deploying solutions that impact millions of customers.
AgentServeResearchSeattle, WAMay 19
Principal Applied Scientist, Neuro-Symbolic AI Labs
Research scientist role focused on building neuro-symbolic AI systems using proof assistants for complex problem-solving across various domains within Amazon. The role involves defining and implementing new applications, delivering scientific artifacts, and working in an agile environment. Requires a PhD or Master's with significant applied research experience, and experience leading scientists.
AgentResearchBoston, MAApr 279
Postdoctoral Scientist, Amazon Robotics Research and AI Development
Postdoctoral Scientist role focused on research in multi-agent path planning, dynamic optimal transport, and explainable AI for foundation models applied to a large fleet of mobile robots. The role involves developing novel techniques, publishing in top-tier venues, and potentially extending research into a second year.
AgentPost-trainResearchN.reading, MAApr 169
Sr. Applied Scientist, Ads AI Core Infrastructure
Research and develop novel approaches for agent-data interaction using generative AI and agentic systems to provide instant, strategic advice to advertisers. Focus on agent orchestration, context optimization, code generation, and RAG-based embeddings for real-time data access with minimal latency and token consumption. Balances applied research (60%) with productionization (40%).
AgentResearchNY +1Mar 319
Applied Scientist
Research scientist role focused on applying Generative AI, VLMs, and multimodal reasoning to product catalog understanding and agentic shopping experiences. The role involves formulating research problems, pushing boundaries of foundation models, advancing efficient model deployment, and ensuring reliability through interpretability and uncertainty calibration. It spans the full research lifecycle from problem formulation to production deployment, with a strong emphasis on publishing findings and mentoring.
AgentServeResearchSeattle, WAMar 209
Principal Applied Scientist, Sponsored Products and Brands
This role focuses on designing and developing generative AI solutions, specifically large language models and multimodal AI, for real-time ad allocation and ranking in a high-volume consumer advertising system. It involves research into semantic relationships, dynamic optimization, and integration into existing systems, with a strong emphasis on efficiency and strict latency requirements.
AgentServeResearchSeattle, WAMar 179
Sr. Applied Scientist, AWS Just-Walk-Out Science Team
This role focuses on developing novel frameworks and techniques for multi-object tracking, re-identification, person activity understanding, and multi-modal foundation models within the context of Amazon's Just Walk Out technology. The scientist will advance the theory and practice of these areas, create efficient visual processing techniques, and reduce computational/data requirements for visual AI systems. The role requires a strong publication record in top-tier conferences and experience in computer vision, deep learning, and multi-modal foundation models.
AgentPost-trainResearchSeattle, WAFeb 139
Senior Applied Scientist, ASCS AI Lab Team
Senior Applied Scientist role focused on AI research and development, including Generative AI, Agentic AI, LLMs, and Diffusion Models for Amazon's catalog systems. The role involves designing, training, and deploying AI solutions, with a focus on scaling models and integrating them into production.
AgentPost-trainResearchSeattle, WADec '259
2026 Applied Science Internship - United States, PhD Student Science Recruiting, Frontier AI & Robotics
Internship role focused on developing novel algorithms at the intersection of LLMs and generative AI for robotics, involving research in perception, manipulation, and control. Requires strong ML/DL/robotics background and publication record.
AgentResearchSan Francisco, CANov '259
2026 Applied Science Internship - United States, Undergrad Student Science Recruiting, Frontier AI & Robotics
This internship focuses on developing novel algorithms and modeling techniques at the intersection of LLMs and generative AI for robotics, tackling research problems in robotic perception, manipulation, and control. The role involves collaboration with cross-functional teams and requires a strong background in machine learning, deep learning, and/or robotics, with a publication record at top conferences.
AgentResearchSan Francisco, CANov '259
2026 Applied Science Internship - United States, PhD Student Science Recruiting, Frontier AI & Robotics
This internship focuses on developing novel algorithms at the intersection of LLMs and generative AI for robotics, involving research in robotic perception, manipulation, and control, with an emphasis on multimodal models and vision-language-action systems.
AgentPost-trainResearchSan Francisco, CANov '259
Member of Technical Staff - Reinforcement Learning, AGI Autonomy
Research role focused on developing foundational capabilities for AI agents that can act in digital and physical worlds, with a focus on multimodal LLMs, automation agent systems, and applying GenAI to real-world problems. Involves rapid invention, experimentation, and collaboration.
AgentPost-trainResearchSan Francisco, CANov '259
Sr. Principal Scientist, Secure Work Enablement
Senior Principal Scientist role focused on pioneering AI technologies for secure enterprise collaboration, including novel AI architectures, human-AI interaction, AI agent orchestration, and privacy-preserving ML. The role involves translating business requirements into AI deliverables, inventing new product experiences, and bringing state-of-the-art LLM/GenAI models to production, while defining long-term science vision and collaborating with academic partners.
AgentResearchSeattle, WAOct '259
Member of Technical Staff, Applied Science - People Leader, AGI Autonomy
Lead a research team focused on advancing foundational capabilities for useful AI agents by combining LLMs with RL. The role involves managing research, aligning roadmaps, mentoring, and hiring, with a focus on evolving agents for reasoning, planning, and world modeling. Experience with training large models, scaling foundational models, and applying post-training techniques is required.
AgentPost-trainResearchSan Francisco, CAJun '259
Applied Scientist, Regulatory, Intelligence, Safety and Compliance (RISC)
Applied Scientist role focused on agentic AI, GenAI, and Machine Learning for regulatory compliance at Amazon. The role involves designing and evaluating state-of-the-art algorithms for content generation, multi-modal classification, intent detection, information retrieval, anomaly detection, and agentic systems. It requires developing and deploying ML models at scale, with an emphasis on scientific innovation and publication.
AgentPost-trainResearchSeattle, WA2w ago8
Postdoctoral Researcher – Visual Localization & Navigation | Amazon Last Mile
Research scientist role focused on visual localization and navigation for robotics and logistics platforms, involving metric-semantic mapping, relocalization, and monocular localization using geometric and learning-based approaches.
AgentResearchSanta Cruz, CA3w ago8
Postdoctoral Scientist, Amazon Robotics Research and AI Development
Postdoctoral Scientist role focused on AI-driven optimization for robotic fulfillment operations, involving automated optimization formulation, intelligent solver configuration, and fleet-level AI for dynamic task allocation. The role emphasizes research, publication in top-tier venues, and developing scalable solutions for robotic warehouses.
AgentResearchN.reading, MA4w ago8
Sr. Applied Scientist, Amazon Robotics
This role focuses on applying AI reasoning systems, specifically combining classical AI reasoning with Large Language Models (LLMs), to solve problems in robotics, automation, and fulfillment. The scientist will innovate on techniques for plan generation, correctness verification, learning reasoning strategies, and self-improving models, with an emphasis on publishing research and applying findings to business problems.
AgentResearchBoston, MA4w ago8
Applied Scientist, Agentic Automated Reasoning Group
Pioneering next-generation neuro-symbolic tools by fusing AI breakthroughs with cloud scale and automated reasoning expertise. This role involves building scalable formal reasoning solutions integrated with GenAI and agentic AI for AWS customers, focusing on areas like hallucination detection and policy verification. The scientist will define and implement features, ensure software quality, and drive adoption of these advanced systems, with a potential to publish research.
AgentEval GateResearchSeattle, WA5w ago8
Senior Applied Scientist, Agentic Automated Reasoning Group
Senior Applied Scientist role focused on pioneering neuro-symbolic tools by fusing AI breakthroughs with automated reasoning and cloud scale. The role involves defining and implementing automated reasoning features, applying software engineering best practices, and delivering high-quality scientific artifacts. Key responsibilities include designing and implementing production-grade neuro-symbolic systems, enhancing formal reasoning capabilities for GenAI and agentic applications (like hallucination detection and guardrails), and owning the end-to-end science lifecycle from research to production deployment. The role also involves mentoring junior scientists and advancing the state of the art through publications.
AgentEval GateResearchNY +15w ago8
Applied Scientist, AWS Quick
This role is for an Applied Scientist on the AWS Agentic AI team, focusing on building next-generation models for intelligent automation. The role involves defining and implementing automated reasoning features, applying software engineering best practices, and delivering high-quality scientific artifacts. The ideal candidate has experience in autonomous agents, API orchestration, planning, large multimodal models, reinforcement learning, and sequential decision making, with a strong publication record.
AgentPost-trainResearchSeattle, WA6w ago8
Sr. Applied Science , AWS Agentic AI
This role focuses on building next-generation models for intelligent automation within AWS Agentic AI. The scientist will develop innovative solutions for complex problems, focusing on areas like autonomous agents, API orchestration, planning, large multimodal models (especially vision-language), reinforcement learning, and sequential decision making. The role involves partnering with technology and business teams, utilizing extensive data and computational resources, and collaborating with engineers. There's an expectation to publish findings at peer-reviewed conferences.
AgentResearchSanta Clara, CA6w ago8
Applied Scientist, AWS Quick
The AWS Agentic AI science team is looking for world-class researchers to build the next generation of intelligent automation models. The role involves developing innovative solutions for complex problems using autonomous agents, API orchestration, planning, large multimodal models (especially vision-language), reinforcement learning, and sequential decision making. Researchers are expected to publish their findings at peer-reviewed conferences and workshops, and apply software engineering best practices to ensure high-quality deliverables in an agile, startup-like environment.
AgentResearchSanta Clara, CA6w ago8
Applied Scientist II, Amazon Quick
This role focuses on developing innovative solutions for complex problems using autonomous agents, API orchestration, planning, large multimodal models (especially vision-language models), reinforcement learning, and sequential decision making. The candidate will define and implement new automated reasoning features, apply software engineering best practices, and publish findings at peer-reviewed conferences. The role is part of AWS and aims to solve real-world problems with access to significant data and computational resources.
AgentResearchSanta Clara, CA7w ago8
Applied Scientist II, Amazon Connect
Research and develop generative AI technology for Amazon Connect, focusing on LLM Agents and their evaluation/optimization to disrupt customer service experiences. The role involves building ML models from conception to deployment, prototyping, and iterating on state-of-the-art Agentic AI systems.
AgentPost-trainResearchSeattle, WAApr 288
Applied Scientist, Last Mile Delivery Automation
Applied Scientist role focused on developing AI/ML solutions for Last Mile Delivery Automation, combining expertise in machine learning, computer vision, and robotics for perception, navigation, and path planning. The role involves transforming research into production-ready solutions and collaborating with engineering teams.
AgentServeResearchBellevue, WAJan 88
Robotics - Applied Scientist II Intern / Co-op - 2026 (Robotics, Manipulation, Perception, Motion Planning, Autonomous Mobile Robots, Computer Vision, Machine Learning, Controls, and more)
This role is for a PhD student intern/co-op focused on robotics research, specifically in areas like manipulation, perception, motion planning, and autonomous mobile robots. The role involves applying machine learning, computer vision, and potentially LLMs to solve real-world robotics problems, with a focus on developing research prototypes and seeing them through from concept to working prototype. The work touches on data collection/preparation for training and research.
AgentDataResearchNorth Reading, MAOct '258
Sr. Applied Science , AWS Agentic AI
This role focuses on building next-generation models for intelligent automation within AWS Agentic AI. The scientist will develop innovative solutions for complex problems, focusing on areas like autonomous agents, API orchestration, planning, large multimodal models (especially vision-language), reinforcement learning, and sequential decision making. The role involves partnering with technology and business teams, utilizing extensive data and computational resources, and collaborating with engineers. There's an expectation to publish findings at peer-reviewed conferences.
AgentResearchSanta Clara, CAOct '258
Sr. Manager Applied Science, MLA
Lead a team of scientists to research and prototype Machine Learning applications, focusing on Agentic AI and LLM solutions for seller experience, trust, and safety. The role involves designing and implementing large-scale, end-to-end business solutions and influencing technical strategy.
AgentResearchSeattle, WASep '258
Research Scientist, Operational Efficiency, AET Planning and Analytics Science
Research Scientist role focused on building novel solutions for workforce optimization using operations research, causal inference, machine learning, and generative AI. The role involves designing simulation and optimization models for scheduling, hiring, and task assignment, developing causal inference frameworks, and collaborating with senior leaders to influence strategic decisions. The work directly impacts operational efficiency and employee experience at Amazon's global scale.
AgentResearchBellevue, WA3w ago7
Applied Scientist, Sales AI
This role focuses on applying AI/ML, particularly Generative AI, to optimize the Ad Sales business by creating actionable insights and recommendations for account teams and improving their end-to-end workflows. The scientist will build and refine models using statistical methods, deep learning, and reinforcement learning, and leverage NLP and Generative AI for explainability. The role involves research, A/B testing, collaboration with engineering and product teams, and translating complex findings into business recommendations.
AgentResearchSeattle, WA4w ago7
Applied Scientist, AWS Automated Reasoning
This role focuses on automated reasoning within AWS, requiring a Ph.D. and experience in areas like SAT, SMT, and program analysis to solve complex problems and drive innovation in AWS services.
AgentResearchSeattle, WA4w ago7
Applied Scientist, Customer360
Research scientist role focused on building the memory layer for Amazon's personalization engine, leveraging LLMs, information retrieval, and entity resolution to understand and personalize experiences for customers and their households. The role involves inventing, experimenting with, and launching new AI technologies and features.
AgentPost-trainResearchSeattle, WA4w ago7
Applied Scientist, Customer360
Research scientist role focused on building the memory layer for Amazon's personalization engine, leveraging LLMs, information retrieval, and entity resolution to understand and personalize experiences for customers and their households. The role involves inventing, experimenting with, and launching new AI technologies and features.
AgentPost-trainResearchSeattle, WA5w ago7
Sr. Applied Scientist, Agentic Automated Reasoning Group
Sr. Applied Scientist role focused on building next-generation software verification tools by combining AI, cloud computing, and formal verification expertise. The role involves end-to-end technical leadership, identifying and applying AI techniques (like generative AI) for tasks such as requirement formalization, test generation, and proof repair, alongside traditional verification methods.
AgentResearchBoston, MA7w ago7
Applied Scientist, AWS Automated Reasoning
Applied Scientist role focused on automated reasoning, privacy, and sovereignty within AWS. Requires a Ph.D. and experience in areas like SAT, SMT, symbolic simulation, and program analysis. The role involves solving complex problems, designing and implementing solutions, and providing technical influence across organizations.
AgentResearchSeattle, WA8w ago7
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
PhD student internship focused on Automated Reasoning for cloud computing, involving research into novel approaches, development of solutions, and deployment into production. Expertise sought in theorem proving, SAT/SMT solvers, program analysis, and synthesis, with a potential link to ML/LLMs.
AgentResearchSeattle, WAApr 167
Principal Applied Scientist, Automated Reasoning
This role leads research and development in automated reasoning, formal verification, and program analysis to make formal methods practical for cloud-scale systems. It involves designing novel algorithms, mentoring scientists, and collaborating with product teams to transition research into production. A key focus is pioneering the use of these techniques for agentic systems to ensure AI agents operate within safety boundaries.
AgentResearchSeattle, WAMar 137