- Amazon (Seattle, WA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Seattle, WA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building Generative AI solutions that delight customers. ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification ... programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible… more
- Amazon (Boston, MA)
- Description Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop ... You will work with a team of world class automated reasoning experts to deliver code ...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- 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 (Seattle, WA)
- …implement state-of-the-art solutions for never-before-solved problems in the space of Automated Reasoning and Artificial Intelligence. A successful candidate ... to work in a fast-paced, ever-changing environment. As an Applied Scientist , you will own the design...responsibilities * Develop systems that can be used for automated software analysis and artificial intelligence * Develop core… more
- Amazon (Santa Clara, CA)
- …for ambiguous problems - Ability to work with teams at the interface of automated reasoning and service teams - 10+ years of experience applying techniques ... level decision maker. - Mentors and trains the research scientist community on complex technical issues. Basic Qualifications -...partnerships - Broad familiarity with different areas of the automated reasoning Amazon is committed to a… more
- Amazon (Minneapolis, MN)
- …Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create ... products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions,… more
- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with interest in building scalable machine learning systems. You will be ... team building the next generation of neuro-symbolic tools and services by combining Automated Reasoning and Machine Learning. AWS has the most services and… more
- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with interest in building scalable machine learning systems. You will be ... team building the next generation of neuro-symbolic tools and services by combining Automated Reasoning and Machine Learning. AWS has the most services and… more
- Amazon (Arlington, VA)
- …the life You will be working on cutting edge technology related to formal methods, automated reasoning , automated testing, and adjacent areas. You will work ... level decision maker. - Mentors and trains the research scientist community on complex technical issues. AWS has the...it stop you from applying. About the team The Automated Reasoning in Identity (ARI) team is… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group in AWS Cloud Operations is looking for an Applied Scientist to work on the intersection of Artificial ... of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to… more
- Amazon (Cupertino, CA)
- Description The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial ... underpinning of Generative AI. In this role as an Applied Scientist , you'll be instrumental in designing,...Experience in professional software development - Publication record in automated reasoning or compiler construction - Knowledge… more
- Amazon (Seattle, WA)
- …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
- Amazon (Cupertino, CA)
- …of AWS innovation for advanced ML capabilities, powering solutions like Generative AI. The Automated Reasoning Group in the AWS Neuron Compiler team works on the ... the code quality bar in compiler stack. In this role as an Applied Scientist , you'll be instrumental in designing, developing, and deploying analyzers for ML… more
- Amazon (New York, NY)
- …internal and external users to understand their requirements for formal verification and automated reasoning . * Enhance and extend the capabilities of formal ... responsibilities * Design and implement scalable systems for formal reasoning and automated theorem proving. * Collaborate...reasoning systems to meet application-specific demands. * Proactively identify… more
- Leidos (San Diego, CA)
- …logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools + Experience conducting applied research areas of CPS such ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on knowledge...solutions to challenging problems of interest to the Defense Applied Research Projects Agency (DARPA) and US Department of… more
- Amazon (Bellevue, WA)
- …reality on the Mechatronics and Sustainable Packaging team. We are seeking a Principal Statistician/ Applied Scientist who will join a team of experts in the ... together to break new ground in the world of automated packaging solutions. You'll work in a collaborative environment...Science, or Engineering with a strong focus on causal reasoning , data analysis, machine learning, generative AI or a… more