- Amazon (Santa Clara, CA)
- …so, then we have an exciting opportunity for you. We're looking for an Applied Scientist to help strengthen our customers' security with automation for managed ... Description Are you passionate about applying automated reasoning and program analysis to real world...problems. * Implement these capabilities through the use of Automated Reasoning and various concepts from programming languages. *… more