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-LjbffrPhD Applied Science Intern — Automated Reasoning in seattle at Unknown Company
This position is listed as internship and onsite.