PhD Applied Science Intern: Automated Reasoning for Cloud

Amazon; Boston (MA); On-site; USD 142,800 - 193,200; Part time

Benefits offered by this job

Health insurance

Restricted stock units (RSUs)

Paid time off

Job summary

Amazon Applied Science Internship in Boston, MA offers hands-on work in automated reasoning, theorem proving, and solver development. You will collaborate with researchers to push the boundaries of cloud computing, deploy solutions, and contribute to production-scale systems.

The role requires a PhD candidate, relocation to the internship base, and a 12-week commitment with 40 hours/week. Expect engaging cross-functional teamwork and access to cutting-edge resources.

Qualifications

• Enrolled in a PhD program and able to relocate to internship location.
• Experience programming in Python, Java, or C/C++.
• Commit to a 12-week internship minimum and 40 hours/week.
• Familiarity with knowledge graphs, machine learning, NLP or related areas.

Responsibilities

• Conduct advanced automated reasoning research and develop novel approaches.
• Collaborate with scientists to integrate research into production environments.
• Contribute to verification, proof tooling and program analysis tasks.
• Present findings and document work for cross-functional teams.

Skills

Python

Java

C/C++

Automated Reasoning

Education

PhD candidate

Tools

SAT/SMT

Program Analysis

Job description

Amazon Applied Science Internship in Boston, MA offers hands-on work in automated reasoning, theorem proving, and solver development. You will collaborate with researchers to push the boundaries of cloud computing, deploy solutions, and contribute to production-scale systems.

The role requires a PhD candidate, relocation to the internship base, and a 12-week commitment with 40 hours/week. Expect engaging cross-functional teamwork and access to cutting-edge resources.