Software Dev Engineer, Automated Reasoning Group

We’re on the lookout for the curious, those who think big and want to define the world of tomorrow. At Amazon, you will grow into the high impact, visionary person you know you’re ready to be. Every day will be filled with exciting new challenges, developing new skills, and achieving personal growth. How often can you say that your work changes the world? At Amazon, you’ll say it often. Join us and define tomorrow.

At Amazon, we hire the best minds in technology to innovate and build on behalf of our customers. The intense focus we have on our customers is why we are one of the world’s most beloved brands – customer obsession is part of our company DNA. Our interns write real software and collaborate with experienced software development engineers (SDEs) who guide interns on projects that matter to our customers.

Key job responsibilities
• Collaborate with experienced cross-disciplinary Amazonians to conceive, design, and bring innovative products and services to market.
• Design and build innovative technologies in a large distributed computing environment, and help lead fundamental changes in the industry.
• Create solutions to run predictions on distributed systems with exposure to innovative technologies at incredible scale and speed.
• Build distributed storage, index, and query systems that are scalable, fault-tolerant, low cost, and easy to manage/use.
• Ability to design and code the right solutions starting with broadly defined problems.
• Work in an agile environment to deliver high-quality software.

Key job responsibilities
Innovating and delivering creative SW Designs to develop new services, solve operational problems, drive improvements in developer velocity, or positively impact operational safety
Writing requirements capturing documents, design documents, integration test plans, and deployment plans
Communicating status and progress of deliverables to schedule, and sharing learnings/ innovations with your team and stakeholders

Basic Qualifications

- Currently enrolled in an Associates, Bachelors, Masters, or PhD in Computer Science, Computer Engineering, Data Science, Electrical Engineering, or majors relating to these fields
- To qualify, applicants should have earned a Bachelor’s or Master’s degree between June 2023 to June 2024. Possible start dates for this role are between July 2024 to September 2024.
- Programming experience in internship or coursework with programming language such as Python and/or C or C++.

Preferred Qualifications

• Previous technical internship(s), if applicable.
• Experience with distributed, multi-tiered systems, algorithms, and relational databases.
• Experience in optimization mathematics such as linear programming and nonlinear optimization.
• Ability to effectively articulate technical challenges and solutions.
• Adept at handling ambiguous or undefined problems as well as ability to think abstractly.
• Experience in Automated Reasoning (Formal Methods, Verification, Formal Verification)

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.