Expert in Automated Reasoning and Identity

5 days ago


San Francisco, California, United States Amazon Full time
Job Overview

We are seeking an experienced expert in automated reasoning and identity to join our team at Amazon. This is a challenging role that requires strong technical skills, leadership abilities, and a passion for innovation.

Responsibilities

The successful candidate will be responsible for:

  • Developing and leading projects related to automated reasoning and identity, with a focus on real-world applications.
  • Collaborating with internal teams and external customers to understand their requirements and develop innovative solutions.
  • Applying formal verification, program analysis, constraint-solving, and theorem proving techniques to address complex problems.
  • Mentoring and training junior researchers in these areas.
Requirements

To be considered for this role, you must have:

  • A Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or a related field.
  • At least 7+ years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving.
  • Strong programming skills in languages such as Java, Scala, C/C++, Ruby, or Python, as well as experience with open-source technologies.
Benefits

As an employee of Amazon, you will enjoy a range of benefits, including:

  • A competitive salary: $250,000 per year, based on location and experience.
  • A comprehensive benefits package, including medical, dental, and vision insurance.
  • A generous stock option plan.
About Amazon

Amazon is a leading technology company that values innovation, customer obsession, and long-term thinking. We offer a dynamic and inclusive work environment, with opportunities to learn and grow in a fast-paced industry.



  • San Francisco, California, United States Fastly Full time

    About UsAt Fastly, we help people stay better connected with the things they love. Our edge cloud platform enables customers to create great digital experiences quickly, securely, and reliably by processing, serving, and securing our customers' applications as close to their end-users as possible — at the edge of the Internet.We're a small company with a...

  • Automation Expert

    1 week ago


    San Francisco, California, United States Unreal Gigs Full time

    About the Job:At Unreal Gigs, we're committed to delivering exceptional results through innovation and teamwork. We're seeking an experienced Automation Expert to join our team and drive the development of our infrastructure and automation processes.Key Responsibilities:Develop and maintain CI/CD pipelines for automated testing, deployment, and monitoring of...


  • San Francisco, California, United States Diverse Lynx Full time

    **ETL Automation Expert Wanted!We are seeking a highly skilled ETL Automation Expert to join our team at Diverse Lynx LLC. The ideal candidate will have expertise in Matillion, Snowflake SQL, and Tableau, with a strong focus on automating ETL processes and improving operational efficiency.**Key Responsibilities:**Develop and implement automated workflows...


  • San Francisco, California, United States Tekfortune Inc Full time

    Job Title: Automation and Integration ExpertWe are seeking an experienced Automation and Integration Expert to join our team at Tekfortune Inc. The ideal candidate will have a strong background in software development, automation, and integration.Job Description:Design, develop, and deploy automated deployment pipelines using Jenkins, GitHub Actions, and...


  • San Francisco, California, United States City and County of San Francisco Full time

    Transform your career with a challenging opportunity in the City and County of San Francisco!About the JobWe are seeking an experienced Identity and Access Management (IAM) Engineer to join our team at the Department of Technology. As an IAM Engineer, you will play a critical role in designing, implementing, and maintaining secure identity management...


  • San Francisco, California, United States CyberTec Full time

    **CyberTec Overview:** At CyberTec, we are dedicated to delivering high-quality software solutions that meet the evolving needs of our clients. Our team of experts is passionate about innovation and committed to excellence in every aspect of our work.We are currently seeking a highly skilled Test Automation Expert to join our team. As a Sr. Software Quality...


  • San Francisco, California, United States Perfict Global, Inc. Full time

    **Job Summary**We are looking for a highly skilled Quality Assurance Engineer - Automation Expert to join our team at Perfict Global Inc. in Concord, California. As an expert in automation testing, you will be responsible for developing and executing automated tests to ensure the quality and reliability of our software applications.**Key...


  • San Francisco, California, United States A Society Group Full time

    A Society Group is seeking a highly skilled Automation Expert for our network systems team. The estimated salary for this role is $130,000 - $160,000 per year.The ideal candidate will have 5+ years of experience in networking and automation, with expertise in developing and documenting test automation software for communication networks. This includes...


  • San Francisco, California, United States BlueWave Resource Partners Full time

    Job Title: Identity Access Management ExpertWe are looking for an experienced Identity Access Management Expert to join our team at BlueWave Resource Partners. As a System Admin, you will be responsible for gathering and analyzing competitor technology products and services.Responsibilities:- Perform in-depth analysis of Microsoft Identity Products through...


  • San Francisco, California, United States Bayone Full time

    About Bayone: We are a leading software development company dedicated to delivering high-quality software solutions. Our team of experts works closely together to ensure that every project meets the highest standards of quality and functionality.Job Overview: We are seeking a skilled Test Automation Expert - Mobile Applications to join our quality assurance...


  • San Francisco, California, United States CV Library Full time

    About UsHinge Health is revolutionizing the way healthcare is treated and prevented. Our cutting-edge approach combines advanced technology, AI, and a team of expert clinicians to provide personalized care directly from your phone.Our MissionWe aim to move people beyond pain by transforming the way it is treated and prevented. We're trusted by leading health...


  • San Diego, California, United States Bestinfo Systems LLC Full time

    JavaScript Automation Expert WantedBestinfo Systems LLC is looking for a highly skilled JavaScript Automation Expert to join our team as a Technical Architect.About the Position:This is a full-time opportunity for an experienced Technical Architect with a strong background in JavaScript, Node.js, and related technologies.The ideal candidate will have...

  • Automation Specialist

    4 weeks ago


    San Francisco, California, United States Saxon Global Full time

    {"h1":"DevOps Automation Expert","p":"At Saxon Global, we are seeking a highly skilled DevOps Automation Expert to join our team.Key Responsibilities:- Design and implement automated solutions for our critical platform in the storage team.- Migrate the platform to the cloud (preferably Azure) and enable automation using tools such as Terraform, Ansible,...


  • San Francisco, California, United States City and County of San Francisco Full time

    About the Role: We are seeking an experienced Identity Governance Engineer to join our team at the City and County of San Francisco. As an IAM Engineer, you will be responsible for designing, implementing, and maintaining our identity and access management systems.">Job Responsibilities:Design, implement, and maintain Oracle Identity and Access Management...


  • San Diego, California, United States Disability Solutions Full time

    We are Disability Solutions, and we are seeking an Automation and Controls Expert to join our team. This role comes with a competitive salary of $90,000 - $120,000 per year.About the JobIn this role, you will be responsible for designing, developing, and implementing automation and controls solutions for our industrial manufacturing environment.The ideal...


  • San Francisco, California, United States Scale AI Full time

    About Us:Scale AI is a leading company in the development of advanced AI models. Our mission is to make AI accessible to all industries, and we are committed to creating innovative solutions that push the boundaries of what is possible.Job Overview:We are seeking a highly skilled Machine Learning researcher to join our team and contribute to our research and...


  • San Francisco, California, United States Unlayer Full time

    Job DetailsWe are seeking a Quality Assurance Automation Engineer to join our team at Unlayer. This is an exciting opportunity to work with a dynamic international team dedicated to delivering high-quality software products. As a key member of our team, you will be responsible for ensuring the quality of our software products by developing and executing both...


  • San Francisco, California, United States salesforce Full time

    As a Technical Lead in Identity and Access Management at Salesforce, you will play a crucial role in shaping the future of our MuleSoft platform. With significant domain experience in Identity and Access Management, you will lead the charge in unifying our cloud platform with the larger Salesforce platform.The mission is ambitious – to create a single root...


  • San Diego, California, United States Booz Allen Hamilton Full time

    Company OverviewAt Booz Allen Hamilton, we're dedicated to empowering our clients to meet their mission objectives without disruption. Our team of experts is committed to delivering innovative solutions that address the evolving needs of our clients in the field of identity and access management.


  • San Francisco, California, United States Salesforce, Inc. Full time

    Senior Identity Architect - Cloud SecuritySalesforce, Inc. offers a competitive salary for this role, estimated to be around $180,000 per year.About the CompanyWe are a leading customer relationship management platform that empowers businesses to connect with customers in a whole new way.As a Principal Software Engineer on our team, you will play a critical...