- Amazon (Minneapolis, MN)
- Description Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help ... an exciting opportunity for you. We're looking for an Applied Scientist to help strengthen our customers'...problems. * Implement these capabilities through the use of Automated Reasoning and various concepts from programming… more
- Amazon (Minneapolis, MN)
- …provably correct? If so, then we have an exciting opportunity for you to leverage Automated Reasoning techniques across EC2 and EC2 Networking. In this role, you ... business application experience - PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++, Python or related… more
- Amazon (Minneapolis, MN)
- …provably correct? If so, then we have an exciting opportunity for you to leverage Automated Reasoning techniques across EC2 and EC2 Networking. In this role, you ... will interact with internal teams and external customers to understand their networking requirements. You will apply your knowledge to propose solutions, create software prototypes, and productize prototypes into production systems using software development… more