Applied Scientist, Automated Reasoning in Identity

24 hours ago


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 role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.


Key job responsibilities
  1. Interact with various teams to develop an understanding of their security and safety requirements.
  2. Apply the acquired knowledge to build tools to find problems, or show the absence of security/safety problems.
  3. Implement these tools through the use of SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification and constraint solving.
  4. Perform analysis of the customer systems using tools developed in-house or externally provided.
  5. Create software prototypes to verify and validate the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.

BASIC QUALIFICATIONS
  1. Experience programming in Java, C++, Python or related language.
  2. M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
  3. At least 2 years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving.

PREFERRED QUALIFICATIONS
  1. Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
  2. Ability to work in a fast paced and agile development environment.
  3. Experience developing/modifying constraint solvers.
  4. Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements.
  5. 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.
  6. Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts to meet aggressive timelines with optimal solutions.
  7. Meets/exceeds Amazon’s leadership principles requirements for this role.
  8. Meets/exceeds Amazon’s functional/technical depth and complexity for this role.

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. For individuals with disabilities who would like to request an accommodation, please visit .


Posted: July 1, 2024 (Updated 2 days ago)

#J-18808-Ljbffr

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


  • Santa Clara, CA, United States Amazon Full time

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


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


  • 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

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


  • 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, California, United States Amazon Web Services, Inc. Full time

    Are you passionate about applying cutting-edge automated reasoning techniques to real-world problems in cloud security? We're seeking a highly skilled Applied Scientist to join our team at Amazon Web Services, Inc.This role involves working with internal teams and external customers to understand their requirements and proposing innovative solutions using...


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

  • Applied Scientist, Amazon

    33 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, CA, United States Amazon Full time

    Applied Scientist, AGI Sensory Inference Science Job ID: 2798110 | 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...


  • 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

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


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


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


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