- Amazon (Santa Clara, CA)
- 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 (Portland, OR)
- 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...and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist to formally verify high-performance cryptographic algorithms as well as ... develop the scalable automated reasoning tools required to do so....- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (New York, NY)
- 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 (Boston, MA)
- …The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive verification ... 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 (Santa Clara, CA)
- …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 (New York, NY)
- 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. You will...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Portland, OR)
- 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 (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...opportunity to publish your work. About the team The Automated Reasoning in Identity (ARI) team is… 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...opportunity to publish your work. About the team The Automated Reasoning in Identity (ARI) team is… 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)
- …the United States. Are you interested in machine learning, deep learning, automated reasoning , speech, robotics, computer vision, optimization, or quantum ... computing? We are looking for applied scientists capable of using a variety of domain...datasets in an effort to tackle never-before-solved problems. * Automated Reasoning : AWS Automated … more
- Amazon (Santa Clara, CA)
- Description The Automated Reasoning & Identity Science team at AWS is looking for a passionate, talented, and inventive scientist with a strong machine ... to documentation, delivery, and maintenance). About the team The Automated Reasoning & Identity Science team is...- PhD, or Master's degree and 6+ years of applied research experience Preferred Qualifications - Experience with neural… more
- Amazon (Austin, TX)
- …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 (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