- Amazon (Seattle, WA)
- Description The Automated Reasoning Group in AWS Platform is looking for an Applied Scientist with experience in building scalable solver solutions that ... of a world-class team building the next generation of automated reasoning tools and services. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS Platform, you will… more
- Amazon (Santa Clara, CA)
- 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 (Portland, OR)
- …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
- 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
- Amazon (Chicago, IL)
- …that measurably achieve this goal. Key job responsibilities As a Principal Applied Scientist for People Experience and Technology (PXT) Central Science, ... such as automated text generation, text summarization, chatbots, automated reasoning , dialogue management, question answer, and/or text classification,… more
- Amazon (New York, NY)
- …solutions that measurably achieve this goal. Key job responsibilities As a Senior Applied Scientist for People Experience and Technology (PXT) Central Science, ... such as automated text generation, text summarization, chatbots, automated reasoning , dialogue management, question answer, and/or text classification,… more
- Leidos (Arlington, VA)
- …in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research ... Leidos Innovations Center is looking for a principal research scientist in the areas of formal methods and cyber-physical...logic, proof assistants, solvers, or other automated reasoning tools and + conducting applied research… more
- Amazon (Quincy, MA)
- …PhD student interested in machine learning, natural language processing, computer vision, automated reasoning , or robotics? We are looking for skilled scientists ... to work in a fast-paced, ever-changing environment. As an Applied Science Intern, you will own the design and...develop solutions and deploy them into production. The ideal scientist must have the ability to work with diverse… more