Highlights
This includes technologies such as SAT/SMT solvers and Lean, a leading open-source functional programming language and interactive theorem prover designed for formal verification, mathematics, and high-performance software development and provide technical leadership on a new AWS service. We are building new capabilities in the Amazon Web Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services such as code correctness and Agent action safety.
Numbers & Facts
| Location | Seattle, WA |
| Industry | Retail |
| Company Size | 10,000 employees or more |
| Year Founded | 1994 |
| Website | http://Amazon.com/militaryroles |
Description
We are building new capabilities in the Amazon Web Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services such as code correctness and Agent action safety. The position is based in Seattle, Washington.
We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning, AI and AWS services. This team will specifically work on code verification using automated reasoning including building agents and using reasoning tools.
As a Senior Software Engineer on this team, you will become an expert on applying formal reasoning methods for code correctness and agentic safety. This includes technologies such as SAT/SMT solvers and Lean, a leading open-source functional programming language and interactive theorem prover designed for formal verification, mathematics, and high-performance software development and provide technical leadership on a new AWS service.
What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others.
This role also offers the opportunity to work alongside world class technical and scientific leaders in the automated reasoning discipline.
About Company
At Amazon, we don’t wait for the next big idea to present itself. We envision the shape of impossible things and then we boldly make them reality. So far, this mindset has helped us achieve some incredible things. Let’s build new systems, challenge the status quo, and design the world we want to live in. We believe the work you do here will be the best work of your life.
Wherever you are in your career exploration, Amazon likely has an opportunity for you. Our research scientists and engineers shape the future of natural language understanding with Alexa. Fulfillment center associates around the globe send customer orders from our warehouses to doorsteps. Product managers set feature requirements, strategy, and marketing messages for brand new customer experiences. And as we grow, we’ll add jobs that haven’t been invented yet.
It’s Always Day 1
At Amazon, it’s always “Day 1.” Now, what does this mean and why does it matter? It means that our approach remains the same as it was on Amazon’s very first day – to make smart, fast decisions, stay nimble, invent, and stay focused on delighting our customers. In our 2016 shareholder letter, Amazon CEO Jeff Bezos shared his thoughts on how to keep up a Day 1 company mindset. “Staying in Day 1 requires you to experiment patiently, accept failures, plant seeds, protect saplings, and double down when you see customer delight,” he wrote. “A customer-obsessed culture best creates the conditions where all of that can happen.” You can read the full letter here
Our Leadership Principles
Our Leadership Principles help us keep a Day 1 mentality. They aren’t just a pretty inspirational wall hanging. Amazonians use them, every day, whether they’re discussing ideas for new projects, deciding on the best solution for a customer’s problem, or interviewing candidates. To read through our Leadership Principles from Customer Obsession to Bias for Action, visit https://www.amazon.jobs/principles
Wherever you are in your career exploration, Amazon likely has an opportunity for you. Our research scientists and engineers shape the future of natural language understanding with Alexa. Fulfillment center associates around the globe send customer orders from our warehouses to doorsteps. Product managers set feature requirements, strategy, and marketing messages for brand new customer experiences. And as we grow, we’ll add jobs that haven’t been invented yet.
It’s Always Day 1
At Amazon, it’s always “Day 1.” Now, what does this mean and why does it matter? It means that our approach remains the same as it was on Amazon’s very first day – to make smart, fast decisions, stay nimble, invent, and stay focused on delighting our customers. In our 2016 shareholder letter, Amazon CEO Jeff Bezos shared his thoughts on how to keep up a Day 1 company mindset. “Staying in Day 1 requires you to experiment patiently, accept failures, plant seeds, protect saplings, and double down when you see customer delight,” he wrote. “A customer-obsessed culture best creates the conditions where all of that can happen.” You can read the full letter here
Our Leadership Principles
Our Leadership Principles help us keep a Day 1 mentality. They aren’t just a pretty inspirational wall hanging. Amazonians use them, every day, whether they’re discussing ideas for new projects, deciding on the best solution for a customer’s problem, or interviewing candidates. To read through our Leadership Principles from Customer Obsession to Bias for Action, visit https://www.amazon.jobs/principles
Similar Job Searches
Research Manager Jobs in Seattle, WAScience Manager Jobs in Seattle, WAData Scientist Jobs in Seattle, WAEnvironmental Manager Jobs in Seattle, WAResearch Director Jobs in Seattle, WASenior Scientist Jobs in Seattle, WAScientist Jobs in Seattle, WAResearch Scientist Jobs in Seattle, WADirector Of Research Jobs in Seattle, WAComputer Scientist Jobs in Bellevue, WA
Similar Jobs
- Widenet Consulting
SR. CYBERSECURITY ENGINEER, CLOUD AND INCIDENT RESPONSE
- Seattle, Washington