Senior Applied Scientist

23 hours ago


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 will be part of a larger organization that develops formal software analysis tools (e.g., Dafny, Lean) and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world-class automated reasoning experts to deliver code reasoning technology that is powerful yet accessible to all developers.


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.


BASIC QUALIFICATIONS
  1. PhD, or Master's degree and 6+ years of applied research experience
  2. Experience programming in Java, C++, Python or related language
  3. Experience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solvers
PREFERRED QUALIFICATIONS
  1. PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
  2. Experience in compiler technologies

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.

Posted: September 20, 2024

#J-18808-Ljbffr

  • Santa Clara, CA, United States Amazon Full time

    Senior Applied Scientist, Analytics Science Job ID: 2826150 | Amazon Development Center U.S., Inc. AWS Analytics is looking for a passionate, inventive Applied Scientist with a strong background in either machine learning, programming languages or databases to help create industry-leading analytics experiences powered by generative AI, machine learning, and...


  • Santa Clara, CA, United States Amazon Full time

    Senior Applied Scientist, Ads Search and Relevance Job ID: 2799470 | Amazon.com Services LLC - A57 When customers search for products on the Amazon website, they often see brand advertisements displayed right below the search bar. These ads are part of the Sponsored Brands (SB) program. Our team, the SB Search and Relevance team, works on solving challenges...


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


  • Santa Clara, CA, United States Amazon Full time

    Senior Applied Scientist, Clinical AI, Health AI Job ID: 2776935 | Amazon.com Services LLC About Amazon HealthAmazon Health’s mission is to make it dramatically easier for customers to access the healthcare products and services they need to get and stay healthy. Towards this mission, we (Health Storefront and Shared Tech) are building the technology,...


  • Santa Clara, CA, United States Amazon Full time

    Senior Applied Scientist, Personalization and Privacy AI Science, AWS AI/ML Job ID: 2774822 | Amazon Development Center U.S., Inc. As a Senior Scientist at AWS AI/ML leading the Personalization and Privacy AI teams, you will have deep subject matter expertise in the areas of recommender systems, personalization, generative AI and privacy. You will provide...

  • Applied Scientist, Amazon

    46 minutes ago


    Santa Clara, CA, United States Amazon Full time

    Job ID: 2738425 | Amazon.com Services LLC Amazon Search is looking for an Applied Scientist to build the next-generation Autocomplete and Spelling Correction experience. Autocomplete provides real-time suggestions as customers type in the search box. It serves as a virtual assistant on customer’s shopping journey. Our suggestions complete customers’...


  • Santa Clara, United States Amazon Full time

    Senior Applied Scientist, Personalization and Privacy AI Science, AWS AI/ML Job ID: 2774822 | Amazon Development Center U.S., Inc. As a Senior Scientist at AWS AI/ML leading the Personalization and Privacy AI teams, you will have deep subject matter expertise in the areas of recommender systems, personalization, generative AI and privacy. You will provide...

  • Senior Applied Scientist

    50 minutes ago


    Seattle, WA, United States Thomson Reuters Full time

    Are you excited about working at the forefront of applied research in an industry setting? Thomson Reuters Labs in 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 Labs do? We experiment, we build, we deliver. We support the...


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


  • New York, NY, United States Refinitiv Full time

    Are you excited about working at the forefront of applied research in an industry setting? Thomson Reuters Labs in USA is seeking scientists with a passion for solving problems using state-of-the-art information retrieval, natural language processing, and generative AI. About the Role Senior Applied Scientists are experts in Machine Learning / NLP,...


  • Santa Clara, CA, United States Amazon Full time

    Principal Applied Scientist, AGI Foundations Job ID: 2692247 | Amazon.com Services LLC As a Principal Scientist within the Artificial General Intelligence (AGI) organization, you are a trusted part of the technical leadership. You bring business and industry context to science and technology decisions.You set the standard for scientific excellence and make...


  • Santa Clara, CA, United States Amazon Full time

    Job ID: 2716717 | Amazon.com Services LLC The Alexa Smart Home team is focused on making Alexa the user interface for the home. From the simplest voice commands (turn on the lights, turn down the heat) to use cases spanning home security, home entertainment, and the home environment; we are evolving Alexa into an intelligent, indispensable companion that...


  • Sunnyvale, CA, United States Amazon Full time

    Job ID: 2829026 | Amazon.com Services LLC As a Principal Scientist in Ring and Blink, you will have deep subject matter expertise in the areas of Artificial Intelligence. You will work with multiple teams of scientists and engineers to translate business and functional requirements into concrete deliverables. More specifically, you will provide thought...


  • Santa Clara, CA, United States Amazon Full time

    Sr. Applied Scientist, GenAI, CreativeX, Amazon Advertising Job ID: 2791845 | Amazon.com Services LLC Amazon Advertising is one of Amazon's fastest growing and most profitable businesses. Amazon's advertising portfolio helps merchants, retail vendors, and brand owners succeed via native advertising, which grows incremental sales of their products sold...


  • Palo Alto, CA, United States Amazon Full time

    Senior Applied Scientist, Amazon Search/Rufus We’re working to improve shopping on Amazon using the conversational capabilities of large language models and are searching for pioneers who are passionate about AI and innovation in a fast-moving environment. You'll be working with talented scientists, engineers, and technical program managers (TPM) to...


  • Santa Clara, United States Amazon Web Services, Inc. Full time

    10+ years of relevant, broad research experience after PhD degree or equivalent. Proficiency in programming for algorithm and code reviews. Strong core competency in building solutions. Track record of successful delivery. Publications at top-tier peer-reviewed conferences or journals. Strong prior experience with mentorship and/or management of senior...


  • San Diego, CA, United States Amazon Full time

    Senior Applied Scientist, Amazon Search/Rufus Job ID: 2825051 | Amazon.com Services LLC We’re working to improve shopping on Amazon using the conversational capabilities of large language models and are searching for pioneers who are passionate about AI and innovation in a fast moving environment. You'll be working with talented scientists, engineers, and...


  • San Diego, CA, United States Amazon Full time

    Senior Applied Scientist, Machine Learning Accelerator Job ID: 2562538 | Amazon.com Services LLC Do you want to join an innovative team of scientists who use deep learning, natural language processing, and large language models to help Amazon provide the best seller experience across the entire Seller life cycle, including recruitment, growth, support, and...


  • Seattle, WA, United States Amazon Full time

    Job ID: 2803508 | Amazon.com Services LLC We are seeking a passionate, talented, and inventive individual to join the Applied AI team and help build industry-leading technologies that customers will love. This team offers a unique opportunity to make a significant impact on the customer experience and contribute to the design, architecture, and...


  • Sunnyvale, CA, United States Amazon Full time

    Senior Applied Scientist, Analytics Science Job ID: 2826150 | Amazon Development Center U.S., Inc. AWS Analytics is looking for a passionate, inventive Applied Scientist with a strong background in either machine learning, programming languages or databases to help create industry-leading analytics experiences powered by generative AI, machine learning, and...