Applied Science Internship: Automated Reasoning for Cloud

Amazon; Seattle (WA); On-site; USD 129,000 - 157,000; Full time

Benefits offered by this job

Mental Health Support

401(k) matching

Job summary

Amazon seeks an Applied Science Intern in Seattle to work on automated reasoning techniques, SAT/SMT solvers, and program analysis. You will collaborate with top researchers and see your solutions deployed in production to improve cloud computing reliability.

Ideal candidates are PhD students who can relocate, commit to 40 hours/week for at least 12 weeks, and have experience with Python, Java, or C/C++. The role offers mentorship and cutting-edge resources.

Qualifications

• Enrolled in a PhD program.
• Willingness to relocate to the internship base.
• Experience programming in at least one of Python, Java, C or C++.

Responsibilities

• Contribute to automated reasoning research and development.
• Assist in deploying research solutions into production.

Skills

Python

Java

C

C++

Programming/Scripting Languages

Education

PhD student

Job description

Amazon seeks an Applied Science Intern in Seattle to work on automated reasoning techniques, SAT/SMT solvers, and program analysis. You will collaborate with top researchers and see your solutions deployed in production to improve cloud computing reliability.

Ideal candidates are PhD students who can relocate, commit to 40 hours/week for at least 12 weeks, and have experience with Python, Java, or C/C++. The role offers mentorship and cutting-edge resources.