Software Dev Engineer Intern 2025, Automated Reasoning

Job Description

As a Software Development Engineer Intern, you will collaborate with experienced engineers to design and develop innovative technologies in a distributed computing environment. You will work on projects that impact customer experiences and contribute to solving complex technical challenges.

Requirements

• 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)

Responsibilities

• Collaborate with cross-disciplinary teams to conceive, design, and bring innovative products to market
• Design and build innovative technologies in a large distributed computing environment
• Create solutions for predictions on distributed systems
• Build scalable, fault-tolerant storage and query systems
• Work in an agile environment to deliver high-quality software

Benefits

• Amazon offers a comprehensive benefits package, including medical, dental, and vision coverage, 401(k) plans with matching contributions, equity options, and a dynamic work environment focused on personal and professional growth.