AWS Senior SDE, Socrates

Amazon Web Services - Software Development Engineer
We are building new capabilities in the Amazon Web Service (AWS) 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 who wishes to work at the intersection of Automated Reasoning and AWS services.
As a Senior Software Engineer on this team, you will lead, design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases as well as help make the power of automated reasoning more readily available within AWS and for our customers.
Delivering a reliable and high-performance service at AWS scale requires engineers with extraordinary technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality.
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.
Key job responsibilities
Design AWS service components. Lead more junior SDE's on projects through the entire development life cycle. Think Big and Deliver Results.
We are open to hiring candidates to work out of one of the following locations:
New York, NY, USA | Portland, OR, USA | Seattle, WA, USA