Logo of Huzzle

Software Dev Engineer Intern 2024 - Automated Reasoning

image

Amazon

Feb 9

Applications are closed

  • Internship
    Full-time
    Off-cycle Internship
  • Software Engineering
  • Seattle, +2

Requirements

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

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.

Retail & Consumer Goods
Industry
10,001+
Employees
1994
Founded Year

Mission & Purpose

Amazon is guided by four principles: customer obsession rather than competitor focus, passion for invention, commitment to operational excellence, and long-term thinking. We are driven by the excitement of building technologies, inventing products, and providing services that change lives. We embrace new ways of doing things, make decisions quickly, and are not afraid to fail. We have the scope and capabilities of a large company, and the spirit and heart of a small one. Together, Amazonians research and develop new technologies from Amazon Web Services to Alexa on behalf of our customers: shoppers, sellers, content creators, and developers around the world. Our mission is to be Earth's most customer-centric company. Our actions, goals, projects, programs, and inventions begin and end with the customer top of mind. You'll also hear us say that at Amazon, it's always "Day 1."​ What do we mean? That our approach remains the same as it was on Amazon's very first day - to make smart, fast decisions, stay nimble, invent, and focus on delighting our customers.