Logo of Huzzle

🚀 Internship

Software Dev Engineer Intern 2024 - Automated Reasoning

Logo of Amazon


19d ago

🚀 Off-cycle Internship

Seattle +2

⌛ Closed

AI generated summary

  • The candidate must be currently enrolled in a relevant degree program with programming experience, knowledge of automated reasoning, and a strong aptitude for technical problem-solving. Previous internship experience, familiarity with distributed systems and algorithms, and expertise in optimization mathematics are preferred.
  • The candidate will collaborate with experienced Amazonians to design innovative products, build distributed computing technologies, create solutions for prediction systems, and work in an agile environment to deliver high-quality software.
Applications are closed

Off-cycle Internship

Software EngineeringSeattle, New York, Portsmouth


  • 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.
  • In addition to working on an impactful project, you will have the opportunity to engage with Amazonians for both personal and professional development, expand your network, and participate in activities with other interns throughout your internship. No matter the location of your internship, we give you the tools to own your project and learn in a real-world setting. Many of our technologies overlap, and you would be hard pressed to find a team that is not using Amazon Web Services (AWS), touching the catalogue, or iterating services to better personalize for customers. We make the impossible, possible.


  • 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
  • Expected graduation date between 10/2024 - 9/2027.
  • Programming experience with at least one modern language such as Java, C++, or C# including object-oriented design.
  • Experience in Automated Reasoning (Formal Methods, Verification, Formal Verification)
  • 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.

Education requirements

Currently Studying

Area of Responsibilities

Software Engineering


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


Work type

Full time

Work mode



Seattle, New York, Portsmouth