Applied Scientist, Automated Reasoning Group

21 hours ago


Seattle WA United States Amazon Full time
Applied 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 Automated Reasoning and Generative AI.

AWS has the most services and more features within those services than any other cloud provider–from infrastructure technologies like compute, storage, and databases–to emerging technologies, such as machine learning and artificial intelligence, data lakes and analytics, and Internet of Things.

You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills, are self-driven, and own the delivery of high-quality results in a fast-paced environment.

As an Applied Scientist in AWS AI, you will play a pivotal role in shaping the definition, vision, design, roadmap, and development of product features from beginning to end. You will:

  1. Define and implement new formal reasoning applications that employ scalable and efficient approaches to solve complex problems using Automated Reasoning and Generative AI technologies.
  2. Apply software engineering best practices to ensure a high standard of quality for all team deliverables.
  3. Work in an agile, startup-like development environment, where you are always working on the most important stuff.
  4. Deliver high-quality scientific artifacts.
  5. Work with the team to lower the barrier of adoption for interactive theorem provers.
  6. Work with the team to help drive business decisions.

Inclusion and Diversity. Our team is diverse We drive towards an inclusive culture and work environment. We are intentional about attracting, developing, and retaining amazing talent from diverse backgrounds.

BASIC QUALIFICATIONS

- Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field OR MS degree and 4+ years of industrial/academic experience in interactive theorem proving and/or automated reasoning.

- 4+ years of experience with programming languages such as Rust, Python, C/C++, and open-source technologies.

- 4+ years of experience in design and analysis of algorithms and data structures.

PREFERRED QUALIFICATIONS

- Deep understanding of formal methods, formal verification, solvers, constraint solving, and knowledge representation.

- Experience/interest in LLMs and/or generative AI.

- Ability to work in a fast-paced and agile development environment.

- Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences.

- Experience in formal verification, program analysis, constraint-solving, symbolic execution, model checking, SAT/SMT solver implementation and applications, mechanical theorem proving such as Lean, and/or code-reasoning languages such as Lean or Dafny.

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.

#J-18808-Ljbffr

  • Seattle, WA, United States Amazon Full time

    Applied Scientist, Automated Reasoning Group 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...


  • Santa Clara, CA, United States Amazon Full time

    Senior 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...


  • Seattle, United States Amazon Web Services, Inc. Full time

    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...


  • Seattle, United States Amazon Web Services, Inc. Full time

    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...


  • Seattle, United States Amazon Web Services, Inc. Full time

    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 Automated Reasoning and Generative AI.AWS has the most services and more features within those...


  • Santa Clara, CA, United States Amazon Full time

    Principal 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 time

    Applied 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...


  • Seattle, WA, United States Amazon Full time

    Job 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 time

    Applied 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...


  • Seattle, WA, United States Amazon Full time

    By 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,...


  • Seattle, Washington, United States Amazon Web Services, Inc. Full time

    Job 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.


  • Seattle, WA, United States Amazon Full time

    Sr 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...


  • Seattle, WA, United States Amazon Full time

    Job 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...


  • Seattle, WA, United States Amazon Full time

    Applied 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....


  • Seattle, WA, United States Amazon Full time

    Are 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...


  • Seattle, WA, United States Thomson Reuters Holdings Inc. Full time

    Thomson 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...

  • Applied Scientist

    21 hours ago


    Seattle, WA, United States Amazon Full time

    Job ID: 2746820 | Amazon.com Services LLC Our mission is to create best-in-class AI agents that seamlessly integrate multimodal inputs like speech, images, and video, enabling natural, empathetic, and adaptive interactions. We develop cutting-edge Large Language Models (LLMs) that leverage advanced architectures, cross-modal learning, interpretability, and...


  • Seattle, WA, United States Amazon Full time

    Sr. Applied Scientist, Support Products & Services Job ID: 2666124 | Amazon.com Services LLC Are you fascinated by the power of Natural Language Processing (NLP) and Large Language Models (LLM) to transform the way we interact with technology? Are you passionate about applying advanced machine learning techniques to solve complex challenges in the customer...


  • Seattle, WA, United States Amazon Full time

    Applied Scientist, Pricing and Promotion Optimization Amazon's Pricing & Promotions Science is seeking a driven Applied Scientist to harness planet scale multi-modal datasets, and navigate a continuously evolving competitor landscape, in order to regularly generate fresh customer-relevant prices on billions of Amazon and Third Party Seller products...

  • Applied AI Scientist

    4 weeks ago


    Seattle, WA, United States AI2 Incubator Full time

    This role is for Casium, a portfolio company of the AI2 Incubator. AI2 Incubator is an organization that supports founders in creating AI-first startups. Learn more about AI2 Incubator at ai2incubator.com.About UsWe are on a mission to transform the U.S. immigration process for extraordinary individuals using cutting-edge AI technology. Our platform is...