Amazon.com Services LLC - A57
Responsibilities
- Work on deploying solutions into production, witnessing the real-world impact of contributions
- Dive deep into cutting-edge research, leveraging expertise to develop innovative solutions
- Tackle complex challenges at the intersection of theory and practice, driving innovation and delivering tangible value to customers
Requirements
- Experience programming or scripting language like Python, Java, C or C++
- Experience with one or more of the following: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis
Other
- Are enrolled in a PhD
- Are 18 years of age or older
- Work 40 hours/week minimum and commit to 12 week internship maximum
- Can relocate to where the internship is based
- Have publications at top-tier peer-reviewed conferences or journals (Preferred)
- Experience building machine learning models or developing algorithms for business application (Preferred)
- Ability to work collaboratively with diverse groups and cross-functional teams to solve complex business problems
- Self-starter, comfortable with ambiguity, with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment