Applied Scientist, Automated Reasoning Group
22 hours ago
Job ID: 2802257 | Amazon Web Services, Inc.
We’re on the lookout for the curious, those who think big and want to define the world of tomorrow. At Amazon, you will grow into the high impact, visionary person you know you’re ready to be. Every day will be filled with exciting new challenges, developing new skills, and achieving personal growth. How often can you say that your work changes the world? At Amazon, you’ll say it often. Join us and define tomorrow.
We are looking for smart scientists capable of using a variety of domain expertise to invent, design, evangelize, and implement state-of-the-art solutions for never-before-solved problems in the space of Automated Reasoning and Artificial Intelligence. A successful candidate will be a self-starter comfortable with ambiguity, strong attention to detail, and the ability to work in a fast-paced, ever-changing environment. As an Applied Scientist, you will own the design and development of end-to-end systems. You’ll have the opportunity to write technical white papers, create technical roadmaps, and drive production level projects that will support Amazon Science. You will work closely with other Amazon scientists and engineers. The ideal scientist must have the ability to work with diverse groups of people and cross-functional teams to solve sometimes ambiguous and complex business problems.
Amazon Science gives insight into the company’s approach to customer-obsessed scientific innovation. Amazon fundamentally believes that scientific innovation is essential to being the most customer-centric company in the world. It’s the company’s ability to have an impact at scale that allows us to attract some of the brightest minds in artificial intelligence and related fields. Our scientist use our working backwards method to enrich the way we live and work.
Key job responsibilities
- Develop systems that can be used for automated software analysis and artificial intelligence
- Develop core tools and algorithms that can be reused
- Help lead the development of new ideas and mentor individuals
About the team
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.
Diverse Experiences
AWS values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.
Why AWS?
Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
Inclusive Team Culture
Here at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.
Mentorship & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.
Work/Life Balance
We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud.
Hybrid Work
We value innovation and recognize this sometimes requires uninterrupted time to focus on a build. We also value in-person collaboration and time spent face-to-face. Our team affords employees options to work in the office every day or in a flexible, hybrid work model near one of our U.S. Amazon offices.
BASIC QUALIFICATIONS
- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
- 3+ years of building models for business application experience
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing
- Experience using Unix/Linux
- Experience in professional software development
Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status.
-
Applied Scientist, Automated Reasoning Group
23 hours ago
Seattle, WA, United States Amazon Full timeApplied Scientist, Automated Reasoning Group Job ID: 2814059 | Amazon Development Center U.S., Inc. The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining...
-
Senior Applied Scientist
22 hours ago
Santa Clara, CA, United States Amazon Full timeSenior Applied Scientist , Automated Reasoning Group Job ID: 2796132 | Amazon Web Services, Inc. Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities to address customers' needs for provably correct code. You...
-
Applied Scientist, Automated Reasoning Group
2 weeks ago
Seattle, United States Amazon Web Services, Inc. Full timeWe’re on the lookout for the curious, those who think big and want to define the world of tomorrow. At Amazon, you will grow into the high impact, visionary person you know you’re ready to be. Every day will be filled with exciting new challenges, developing new skills, and achieving personal growth. How often can you say that your work changes the...
-
Applied Scientist, Automated Reasoning Group
2 weeks ago
Seattle, United States Amazon Web Services, Inc. Full timeWe’re on the lookout for the curious, those who think big and want to define the world of tomorrow. At Amazon, you will grow into the high impact, visionary person you know you’re ready to be. Every day will be filled with exciting new challenges, developing new skills, and achieving personal growth. How often can you say that your work changes the...
-
Seattle, United States Amazon Web Services, Inc. Full timeThe Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning and Generative AI.AWS has the most services and more features within those...
-
Santa Clara, CA, United States Amazon Full timePrincipal Applied Scientist, Automated Reasoning in Identity Job ID: 2831197 | Amazon Web Services, Inc. Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. We’re looking for an Applied Scientist to help...
-
Santa Clara, CA, United States Amazon Full timeApplied Scientist, Automated Reasoning in Identity Job ID: 2811666 | Amazon Development Center U.S., Inc. 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...
-
Applied Scientist, Automated Reasoning in Identity
24 hours ago
Santa Clara, CA, United States Amazon Full timeApplied Scientist, Automated Reasoning in Identity Job ID: 2699878 | Amazon Development Center U.S., Inc. 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...
-
Applied Scientist, Neuron ARG
22 hours ago
Seattle, WA, United States Amazon Full timeJob ID: 2714956 | Amazon Development Center U.S., Inc. The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program analysis to raise the code quality bar in our state-of-the-art deep learning compiler stack. This stack is designed to optimize application...
-
Santa Clara, CA, United States Amazon Full timeApplied Scientist, Automated Reasoning in Identity Job ID: 2699878 | Amazon Development Center U.S., Inc. 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...
-
Applied Scientist, Annapurna ML
23 hours ago
Seattle, WA, United States Amazon Full timeBy applying to this position, your application will be considered for all locations we hire for in 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 expertise to invent,...
-
Advanced Formal Reasoning Engineer
1 week ago
Seattle, Washington, United States Amazon Web Services, Inc. Full timeJob SummaryWe are seeking an experienced Senior Applied Scientist to join our team at Amazon Web Services (AWS) in the Automated Reasoning Group. The ideal candidate will have a strong background in formal reasoning, automated reasoning, and Generative AI technologies.
-
Principal Applied Scientist, Neuron ARG
19 minutes ago
Seattle, WA, United States Amazon Full timeJob ID: 2728641 | Amazon Development Center U.S., Inc. The AWS Neuron Compiler team is actively seeking applied scientists to join our efforts in developing a state-of-the-art deep learning compiler stack. This stack is designed to optimize application models across diverse domains, including Large Language and Vision, originating from leading frameworks...
-
Sr Applied Scientist, Self Service and Automation
22 hours ago
Seattle, WA, United States Amazon Full timeSr Applied Scientist, Self Service and Automation The Senior Applied Scientist will play a critical role in leading the research, development, and implementation of solutions to key challenges in developing conversational AI systems that can understand and communicate with customers in a natural and contextually appropriate manner. This involves tackling...
-
Principal Applied Scientist, Neuron ARG
19 minutes ago
Seattle, WA, United States Amazon Full timeJob ID: 2728641 | Amazon Development Center U.S., Inc. The AWS Neuron Compiler team is actively seeking applied scientists to join our efforts in developing a state-of-the-art deep learning compiler stack. This stack is designed to optimize application models across diverse domains, including Large Language and Vision, originating from leading frameworks...
-
Applied Scientist
26 minutes ago
Seattle, WA, United States Amazon Full timeJob ID: 2719471 | Amazon.com Services LLC The Applied Scientist in NLP within Customer Engagement Tech, Self-Service and Automation team will work on the research, design, and implementation of solutions to key challenges in developing conversational AI systems based on large pretrained language models, that can understand and communicate with customers in a...
-
Applied Scientist, BuilderWorks
22 hours ago
Seattle, WA, United States Amazon Full timeJob ID: 2823932 | Amazon.com Services LLC Are you excited about developing generative AI and foundation models to revolutionize automation, text generation, and machine learning at scale? At Amazon BuilderWorks, we are on a mission to build high-performance autonomous systems that perceive and act to further improve our world-class builder experience - at...
-
Applied Scientist II, Self Service and Automation
24 hours ago
Seattle, WA, United States Amazon Full timeApplied Scientist II, Self Service and Automation Job ID: 2666815 | Amazon.com Services LLC The Applied Scientist will play a critical role in the research, development, and implementation of solutions to key challenges in developing conversational AI systems that can understand and communicate with customers in a natural and contextually appropriate manner....
-
Sr. Applied Scientist, Personalization
22 hours ago
Seattle, WA, United States Amazon Full timeAre you interested in big data, machine learning, LLM, and product recommendations? If so, Amazon's Personalization team might be the right place for you. About our organization: We are part of Amazon’s Personalization organization, a high-performing group with a huge impact on hundreds of millions of customers, innovating at the intersection of customer...
-
Senior Applied Scientist
24 hours ago
Seattle, WA, United States Thomson Reuters Holdings Inc. Full timeThomson Reuters Holdings Inc. - Senior Applied Scientist Are you excited about working at the forefront of applied research in an industry setting? Thomson Reuters Labs in the USA is seeking scientists with a passion for solving problems using state-of-the-art information retrieval, natural language processing, and generative AI. What does Thomson Reuters...
