Full Job Description
Amazon has positions available for Automated Reasoning Applied Science Internships in, but not limited to, Arlington, VA; Boston, MA; New York, NY; Portland, OR; Santa Clara, CA; Seattle, WA
The ideal candidate should possess the ability to work collaboratively with diverse groups and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter, comfortable with ambiguity, with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment.
Key job responsibilities
We are particularly interested in candidates with expertise in: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis
BASIC QUALIFICATIONS
- Are enrolled in a PhD
- Can relocate to where the internship is based
- Experience programming or scripting language like Python, Java, C or C++
- Work 40 hours/week minimum and commit to 12 week internship minimum
- Experience with one or more of the following: Knowledge Graphs and Extraction, Neural Networks/GNNs, Data Structures and Algorithms, Time Series, Machine Learning, Natural Language Processing, Deep Learning, Large Language Models, Graph Modeling, Knowledge Graphs and Extraction, Programming/Scripting Languages
PREFERRED QUALIFICATIONS
- Have publications at top-tier peer-reviewed conferences or journals
The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits.
SEATTLE, WA, USA - 142,800.00 USD Annually
Seattle, WA, USA - 142,800.00 USD Annually