... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
Senior Applied Scientist, Agentic Automated Reasoning Group
New York, NY · On-site
$100K - $136K/yr
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
Senior Applied Scientist, Agentic Automated Reasoning Group
New York, NY · On-site
$100K - $136K/yr
The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in ...
... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
... Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our ...
Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning ...
Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service in the world for customers who require advanced and rigorous solutions for automated reasoning ...
Automated Reasoning Group information
See salary details
$37.5K - $40.5K
13% of jobs
$41K is the 25th percentile. Wages below this are outliers.
$40.5K - $43.6K
77% of jobs
$43.6K - $46.6K
1% of jobs
$46.6K - $49.7K
2% of jobs
$49.7K - $52.7K
1% of jobs
$52.7K - $55.8K
1% of jobs
$55.8K - $58.8K
1% of jobs
$58.8K - $61.9K
1% of jobs
$61.9K - $64.9K
1% of jobs
$64.9K - $68K
1% of jobs
$68K - $71K
1% of jobs
$37.5K
$45.6K
$71K
How much do automated reasoning group jobs pay per year?
As of Jul 3, 2026, the average yearly pay for automated reasoning group in the United States is $45,556.00, according to ZipRecruiter salary data. Most workers in this role earn between $42,000.00 and $42,000.00 per year, depending on experience, location, and employer.
What is the difference between Automated Reasoning Group vs Formal Methods Engineer?
| Aspect | Automated Reasoning Group | Formal Methods Engineer |
|---|---|---|
| Required Credentials | Computer Science degree, knowledge of logic, algorithms | Computer Science or Software Engineering degree, expertise in formal verification |
| Work Environment | Research labs, academia, industry R&D teams | Software development teams, safety-critical systems, industry |
| Employer & Industry Usage | Tech companies, research institutions, government agencies | Automotive, aerospace, hardware design, safety-critical industries |
| Common Search & Comparison Intent | Understanding roles in AI and logic research | Applying formal verification in engineering projects |
Both roles focus on logic and verification but differ in scope. The Automated Reasoning Group typically conducts research on algorithms and logic systems, while Formal Methods Engineers apply formal verification techniques directly to software and hardware development to ensure safety and correctness.
More about Automated Reasoning Group jobs
What cities are hiring for Automated Reasoning Group jobs? Cities with the most Automated Reasoning Group job openings:
What states have the most Automated Reasoning Group jobs? States with the most job openings for Automated Reasoning Group jobs include:
What job categories do people searching Automated Reasoning Group jobs look for? The top searched job categories for Automated Reasoning Group jobs are:
Full-time
Posted 23 days ago
Amazon rating
7.4
Based on 6,923 frontline employees who took The Breakroom Quiz
6th of 39 rated national retailers
Job description
We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale.
Key job responsibilities
- Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis
- Design and implement novel algorithms and techniques that advance the state of the art
- Mentor and guide applied scientists, research scientists, and engineers
- Collaborate with product teams to transition research into production systems
- Define technical vision and strategy for automated reasoning initiatives
- Represent AWS in the academic and research community
- Drive cross-organizational impact through technical leadership
About the team
The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS
We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.
About Amazon
Sourced by ZipRecruiter
Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.
Industry
It services, book publishers, retail, real estate and computer and electronic product manufacturing
Company size
10,000+ Employees
Headquarters location
Seattle, WA, US