Expoint - all jobs in one place

The point where experts and best companies meet

Limitless High-tech career opportunities - Expoint

Amazon Software Dev Engineer Automated Reasoning Group 
United States, Massachusetts, Boston 
184998766

01.07.2024
DESCRIPTION

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 responsibilitiesWriting requirements capturing documents, design documents, integration test plans, and deployment plans

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)