Senior Applied Scientist
23 hours ago
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
- PhD, or Master's degree and 6+ years of applied research experience
- Experience programming in Java, C++, Python or related language
- Experience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solvers
- PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
- 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-
Senior Applied Scientist, Analytics Science
23 hours ago
Santa Clara, CA, United States Amazon Full timeSenior 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...
-
Senior Applied Scientist, Ads Search and Relevance
23 hours ago
Santa Clara, CA, United States Amazon Full timeSenior 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...
-
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...
-
Senior Applied Scientist, Clinical AI, Health AI
2 hours ago
Santa Clara, CA, United States Amazon Full timeSenior 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 timeSenior 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 timeJob 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 timeSenior 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 timeAre 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 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...
-
Senior Applied Scientist
24 hours ago
New York, NY, United States Refinitiv Full timeAre 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,...
-
Principal Applied Scientist, AGI Foundations
39 minutes ago
Santa Clara, CA, United States Amazon Full timePrincipal 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...
-
Applied Scientist, Alexa Smart Home
24 hours ago
Santa Clara, CA, United States Amazon Full timeJob 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...
-
Principal Applied Scientist
24 hours ago
Sunnyvale, CA, United States Amazon Full timeJob 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...
-
Sr. Applied Scientist, GenAI, CreativeX, Amazon Advertising
14 minutes ago
Santa Clara, CA, United States Amazon Full timeSr. 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...
-
Senior Applied Scientist, Amazon Search/Rufus
56 minutes ago
Palo Alto, CA, United States Amazon Full timeSenior 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 time10+ 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...
-
Senior Applied Scientist, Amazon Search/Rufus
23 hours ago
San Diego, CA, United States Amazon Full timeSenior 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...
-
Senior Applied Scientist, Machine Learning Accelerator
27 minutes ago
San Diego, CA, United States Amazon Full timeSenior 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...
-
Senior Applied Scientist, Applied AI
22 hours ago
Seattle, WA, United States Amazon Full timeJob 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...
-
Senior Applied Scientist, Analytics Science
23 hours ago
Sunnyvale, CA, United States Amazon Full timeSenior 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...