Data Science Intern
amazonSeattle, WA
About the role
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.
Matching similar jobs
JOB OVERVIEW
Experience level
Intern
Location
Seattle, WA
Occupation
Data Scientists
Industry
Computer Systems Design Services
Posted
yesterday
Tired of running searches?
Rank the roles you'd take once, and matches like these arrive on their own.
CREATE PROFILE