Amazon Paid 2023 Fall Applied Science Internship - Automated Reasoning and Storage Systems - United States for Doctoral Students

Amazon is offering 2023 Fall Applied Science Internship- Automated Reasoning and Storage Systems - United States in, WA, Seattle. This is a paid full time internship and requires an individual to work 40 hours a week for the duration of the internship. Amazon requires an intern to be located where their assigned team is. Amazon is happy to provide relocation and housing assistance if you are located 50 miles or further from the office location.

As an Applied Science Intern, you will work closely with Amazon scientists and other science interns to develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment who is comfortable with ambiguity.

1. Enrolled in a Ph.D. program or equivalent in computer science or related fields.
2. Experience with at least one of the following: formal specification, formal semantics, propositional logic (and SAT solving), first-order logic (and SMT solving), higher-order logics, temporal logics.
3. Experience in understanding and ability to implement algorithms using both toolkits and self-developed code.
4. Experience with Java, Rust, O'Caml, C/C++, or other programming language, as well as with Python or similar scripting language.

PREFERRED QUALIFICATIONS

1. Familiar with the core undergraduate curriculum of computer science.
2. Experience with at least one of the following: Deductive verification (Dafny, Boogie, OpenJML, Frama-C, VCC), Interactive theorem proving (Coq, HOL-light, Isabelle), Model checking (I) of protocols (ii) of code. Explicit-state vs symbolic model checking, Symbolic/concolic test generation, Model-based testing, Checking conformance/refinement, Functional programming, types, monads, Invariant-based verification, Synthesis, Runtime verification/monitoring, Solver-aided languages, Static analysis.
3. Technical fluency, comfort understanding and discussing logical concepts and algorithms, scheduling tradeoffs and new opportunities with technical team members.
4. Publications at top-tier peer-reviewed conferences or journals.
5. Excellent critical thinking skills and the ability to present your thoughts clearly and compellingly in orally and in writing.

About Amazon:

A multinational technology company focusing on e-commerce, cloud computing, and artificial intelligence in Seattle, Washington. It is one of the Big Four or "Four Horsemen" of technology along with Google, Apple and Facebook due to its market capitalization, disruptive innovation, brand equity and hyper-competitive application process. (Wikipedia)

See more available volunteer opportunities on For9a

See more opportunities in the US available on For9a