We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
Sr. Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)
Seattle, WA · On-site
$139K - $183K/yr
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
Sr. Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)
Seattle, WA · On-site
$139K - $183K/yr
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
Sr. Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)
Seattle, WA · On-site
$139K - $183K/yr
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
Sr. Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)
Seattle, WA · On-site
$139K - $183K/yr
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
Software Engineer
Seattle, WA · On-site
$110K - $140K/yr
We are seeking a Software Engineer to develop and maintain scalable applications. Key Responsibilities * Development: Write and maintain code. * Collaboration: Work with cross-functional teams. *
Software Engineer
Seattle, WA · On-site
$110K - $140K/yr
We are seeking a Software Engineer to develop and maintain scalable applications. Key Responsibilities * Development: Write and maintain code. * Collaboration: Work with cross-functional teams. *
Warehouse/Delivery Non-CDL
Tukwila, WA · On-site
$18.50 - $23/hr
Description The candidate must be professional, self-motivated, team oriented, and possess the ability to simultaneously manage a variety of daily responsibilities. Responsibilities and Duties *
Warehouse/Delivery Non-CDL
Tukwila, WA · On-site
$18.50 - $23/hr
Description The candidate must be professional, self-motivated, team oriented, and possess the ability to simultaneously manage a variety of daily responsibilities. Responsibilities and Duties *
Maintenance Engineer
Seattle, WA · On-site
Description We're looking for a courteous, detail-oriented maintenance engineer to provide our guests with a five-star experience. You'll be in charge of overseeing the property's overall upkeep and
Maintenance Engineer
Seattle, WA · On-site
Description We're looking for a courteous, detail-oriented maintenance engineer to provide our guests with a five-star experience. You'll be in charge of overseeing the property's overall upkeep and
A leading specialty contractor specializing in the installation and maintenance of mechanical insulation, sheet metal lagging, architectural finishes, passive fire protection, energy audits, and the
Quick apply
A leading specialty contractor specializing in the installation and maintenance of mechanical insulation, sheet metal lagging, architectural finishes, passive fire protection, energy audits, and the
Warehouse/Delivery Non-CDL
Tukwila, WA · On-site
$24 - $26/hr
The candidate must be professional, self-motivated, team oriented, and possess the ability to simultaneously manage a variety of daily responsibilities. Responsibilities and Duties * Maintain
Warehouse/Delivery Non-CDL
Tukwila, WA · On-site
$24 - $26/hr
The candidate must be professional, self-motivated, team oriented, and possess the ability to simultaneously manage a variety of daily responsibilities. Responsibilities and Duties * Maintain
Field Service Engineer
Seattle, WA · On-site
$32/hr
Description Responsibilities include: * Travel to install, services, troubleshoot and repair the fabricating machine tools at customer sitesthroughout the United States, Canada and Mexico. * Provide
Field Service Engineer
Seattle, WA · On-site
$32/hr
Description Responsibilities include: * Travel to install, services, troubleshoot and repair the fabricating machine tools at customer sitesthroughout the United States, Canada and Mexico. * Provide
Are you a self-starter and good problem solver. Are you an experienced, confident relationship builder who likes to work in a fast-paced environment. Do you have experience working with financial
Are you a self-starter and good problem solver. Are you an experienced, confident relationship builder who likes to work in a fast-paced environment. Do you have experience working with financial
Solver information
What is the difference between Solver vs Data Analyst?
| Aspect | Solver | Data Analyst |
|---|---|---|
| Required Credentials | Mathematics, optimization, or related certifications | Statistics, data analysis, or related certifications |
| Work Environment | Project-based, problem-solving settings | Office, data-focused environments |
| Industry Usage | Consulting, logistics, operations | Business, marketing, finance |
| Search & Comparison Intent | Understanding problem-solving roles | Analyzing data and insights |
While both Solver and Data Analyst roles involve analytical skills, Solvers focus on applying mathematical and optimization techniques to solve complex problems, often in consulting or operations. Data Analysts primarily interpret data to inform business decisions, working extensively with statistical tools. The roles overlap in data skills but differ in their core focus and typical work environments.
What is a good career for a problem solver?
What cities near Maple Valley, WA are hiring for Solver jobs?
Cities near Maple Valley, WA with the most Solver job openings:

Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)
Seattle, WA
Full-time
Re-posted 3 days ago
Amazon rating
7.4
Based on 7,180 frontline employees who took The Breakroom Quiz
Job description
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. The position is based in Seattle, Washington.
We are seeking a talented and passionate Software Development Engineer (SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale distributed systems, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.
As an SDE on the ATR team, you will design, build, and operate components of Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will tackle challenges in distributed systems, solver integration, API development, and service reliability
Your work will directly enable customers to verify correctness of software, infrastructure configurations, and AI-generated code at AWS scale.
This is a unique opportunity to combine strong software engineering skills with automated reasoning technology. You'll work alongside world-class scientists and senior engineers to turn research breakthroughs in solver technology into production services that power correctness guarantees for millions of customers. The problems are hard, the impact is enormous, and your contributions will be highly visible.
Key job responsibilities
- Design and implement features and components of Amazon's cloud-hosted automated reasoning platform, including query routing, solver orchestration, result caching, and soundness management.
- Build and maintain distributed systems that meet AWS's operational excellence standards for availability, latency, and correctness.
- Contribute to the evolution of the service API, making it easier for customers to integrate reasoning capabilities into their workflows.
- Collaborate with Automated Reasoning scientists to integrate solver improvements and new capabilities into the production platform.
- Participate in on-call rotations, build monitoring and alerting, and contribute to the continuous improvement of service reliability.
- Write clean, well-tested, production-quality code and participate actively in code reviews and design discussions.
- Work with internal AWS customer teams to understand their use cases and help troubleshoot integration issues.
A day in the life
A typical day may include implementing a new feature for the solver service, collaborating with a scientist on integrating a solver optimization, participating in code reviews, debugging an issue in the query pipeline, or writing tests to improve coverage
You'll spend most of your time writing code and solving technical problems, while also contributing to design discussions and operational improvements. You might also attend a sprint planning session, pair with a teammate on a tricky problem, or investigate a customer-reported issue.
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, computer and electronic product manufacturing and software development
Company size
10,000+ Employees
Headquarters location
Seattle, WA, US