Start Your Search Here

push notification bell

Would you like to receive notifications about Computer and Mathematical Occupations jobs in Seattle?

push notification bell

You have blocked notifications

Oops! You have blocked notifications. Click here for more info

You have blocked notifications, please check your browser settings.

push notification bell

You're currently subscribed to job notifications

Want to change your notifications for job alerts?

push notification bell

Subscribe to notifications

You will no longer receive notifications

Job Search

Amazon

Seattle / Global

Data Science Intern

Job Description

Amazon is seeking a Applied Science Intern in Seattle, WA to work on Automated Reasoning and Formal Verification. You will contribute to research, develop methods, and apply formal techniques to real-world cloud systems.

The role targets PhD students, requires relocation to the internship base, and a 12-week, 40-hours-per-week commitment. Proficiency in Python and experience with C++, Haskell, or Lean are preferred, with opportunities to publish.

#J-18808-Ljbffr

Apply Now

Similar Opportunities

View all jobs

Get Job Alerts

Don't miss the perfect fit. Get Daily curated job alerts.

Job Title or Keyword(s)
Location

By creating an alert you consent and agree to TheBIGJobsite
T&C's and Privacy Policy.