Amazon Software Dev Engineer Intern Automated Reasoning 

United States, Washington, Seattle 

169644994

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.
A day in the life
As an intern, you will be matched to a manager and a mentor. You will have the opportunity to influence the evolution of Amazon technology and lead mission critical projects early in your career. Your design, code, and raw smarts will contribute to solving some of the most complex technical challenges in the areas of distributed systems, data mining, automation, optimization, scalability, and security – just to name a few.

- Experience with at least one modern language such as Java, Python, C++, or C# including object-oriented design
- Currently enrolled in an Associates, Bachelors, Masters, or PhD in Computer Science and related fields with an expected graduation date between 10/2025 - 9/2028, and experience in Automated Reasoning (Formal Verification, Theorem Proving, or Symbolic Execution)

- Experience or coursework in at least two of the following areas: i) programming Rust, OCaml, Haskell, or Python, ii) using property-based testing (e.g., QuickCheck, Hypothesis) or other test generation tools; iii) using GenAI; iv) understanding the basic inner workings of compilers, type checkers, or code analysis tools