- 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 (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 (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 (Austin, TX)
- Description As a Senior Applied Scientist on our Agentic AI Professional Services Experience team, you will be instrumental in advancing the frontier of ... models for agent decision-making, natural language understanding, and contextual reasoning - Conduct proof-of-concept development, experimentation, optimization, and production… 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 (Santa Clara, CA)
- …entrusted with developing core natural language processing, generative AI, deep learning, automated reasoning , and machine learning algorithms for AWS. You will ... invent, implement, and deploy state-of-the-art machine learning and automated reasoning algorithms and systems. You will...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Leidos (Dayton, OH)
- …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 Resilient Systems 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