- Amazon (Seattle, WA)
- …the bar for security, durability, availability, and quality. As an Applied Science Intern , you'll have the opportunity to work alongside our brilliant scientists and ... projects. From distributed proof search and SAT/SMT solvers to program analysis , synthesis, and verification, you'll tackle complex challenges at the intersection… more