Expert Code Reasoning Engineer

17 hours ago


Santa Clara, California, United States Amazon Full time

About Amazon
Amazon is a leader in cloud computing, providing scalable and secure services to customers around the world. Our Utility Computing (UC) organization is responsible for developing innovative products, such as Amazon Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), that set us apart in the industry.

Job Description
We are seeking an Expert Code Reasoning Engineer to join our Automated Reasoning Group. In this role, you will work with a team of world-class automated reasoning experts to develop and deliver code reasoning technology that is powerful yet accessible to all developers. Your primary responsibility will be to design and implement innovative solutions for formal verification of programs, leveraging tools like Dafny and Lean.

Requirements
To be successful in this role, you will need a PhD or Master's degree and 6+ years of applied research experience. You should have expertise in programming languages such as Java, C++, or Python, as well as experience with formal verification tools and techniques. A background in compiler technologies is also desirable.

What We Offer
As an Amazon employee, you will have access to a range of benefits, including competitive compensation, comprehensive health insurance, and opportunities for professional growth and development. Amazon is committed to diversity and inclusion, and we welcome applications from candidates with a wide range of backgrounds and experiences.

Estimated Salary Range
$180,000 - $220,000 per year, depending on location and experience.



  • Santa Clara, California, United States Amazon Full time

    **Company Overview**: Amazon Development Center U.S., Inc. is a world-leading company that provides a wide range of services, from infrastructure technologies to emerging technologies like machine learning and artificial intelligence.**Job Description**: We are looking for a highly skilled Senior Formal Reasoning Engineer with expertise in building scalable...


  • 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, California, United States Promote Project Full time

    Transformative Role in Accelerated ComputingPromote Project is seeking a seasoned Expert Generative AI Software Engineer to spearhead the development and deployment of cutting-edge GenAI software solutions based on NVIDIA's pioneering technologies. As part of our esteemed team, you will collaborate with industry leaders and innovators to drive breakthroughs...


  • Santa Clara, California, United States Menlo Ventures Full time

    About the RoleWe are seeking an experienced Senior Software Engineer II to join our team at Carta. In this role, you will have the opportunity to work on complex SaaS products with Service Oriented Architecture (SOA) and microservices.As a Senior Software Engineer II, you will be responsible for defining requirements and building solutions for products that...


  • Santa Clara, California, United States Experis Full time

    Experis is seeking a Senior ASIC Verification Expert to join their team in Santa Clara, CA. This is an onsite/hybrid role that requires collaboration with architects, hardware engineers, and firmware engineers to understand new features to be verified.Key Responsibilities:Develop test plan documentation for interactions with other features, hardware,...


  • Santa Clara, California, United States Amazon Full time

    Job OverviewWe are seeking an AI Security Expert to lead our efforts in cloud innovation, ensuring the highest level of security and safety for our customers.The successful candidate will have a strong background in automated reasoning, programming languages, and machine learning, with a proven track record of delivering innovative solutions.Key...


  • Santa Clara, California, United States Solomon Page Full time

    At Solomon Page, we are seeking a highly skilled Expert Embedded Systems Engineer to join our team. This role offers a unique opportunity to work on cutting-edge projects and contribute to the development of innovative solutions.About the RoleWe are looking for a talented engineer with expertise in embedded systems design, architecture, and development. The...


  • Santa Clara, California, United States Palo Alto Networks Full time

    About the RoleWe are seeking a talented Cybersecurity Engineer to join our team at Palo Alto Networks. As a key member of our engineering team, you will be responsible for designing and developing scalable microservices used to activate all Palo Alto Networks cloud products.Your primary focus will be on developing and delivering next-generation technologies...


  • Santa Clara, California, United States Infoblox Full time

    Job Description:We are seeking an experienced Data Engineer to join our Cloud Engineering team in Tacoma, WA or Santa Clara, CA. As a Staff Data Engineer, you will play a key role in developing platforms and products for Infoblox's SaaS product line, delivering next-level networking solutions for our customers.This is an exciting opportunity to work closely...


  • Santa Clara, California, United States Shockwave Medical Full time

    OverviewShockwave Medical, Inc. is a pioneering medical device company that has revolutionized the treatment of complex calcified cardiovascular disease with its innovative Intravascular Lithotripsy (IVL) technology.SalaryThe estimated salary for this position ranges from $144,000 to $180,000 per year, depending on skills, experience, and location.Job...


  • Santa Clara, California, United States Servicenow Full time

    Are you looking for a challenging role where you can utilize your technical skills to build next-generation customer-facing cloud monitoring tools?We are seeking an experienced Senior Software Engineer to join our Global Cloud Services Monitoring Team. As a member of this team, you will have the opportunity to work on designing, architecting, and...


  • Santa Clara, California, United States Palo Alto Networks Full time

    About the RoleWe're seeking a talented Cybersecurity Software Engineer to join our IT Customer Experience Team. In this role, you'll play a pivotal part in delivering innovative solutions and shaping the future of cybersecurity.Your ImpactDesign and build scalable, high-performance business systems that are critical to our successCollaborate with multiple...


  • Santa Clara, California, United States Halo Industries, Inc. Full time

    Halo Industries, Inc. is a pioneering technology company revolutionizing the semiconductor industry with its innovative laser-based material processing equipment.We are seeking a seasoned Senior Staff Electrical Engineer to contribute to the design, development, and deployment of our proprietary material processing systems. This highly technical role...


  • Santa Clara, California, United States Amphenol TCS Full time

    Amphenol TCS - Power Engineer OpportunityWe are seeking a skilled Technical Solutions Expert to join our team in San Jose, CA. As a Customer Engineer - Power Solutions, you will play a crucial role in developing innovative power solutions for our customers.


  • Santa Clara, California, United States OmniVision Technologies Full time

    About OmniVision TechnologiesWe are a leading manufacturer of CMOS Image Sensors based in Santa Clara, CA.Job SummaryWe are seeking a highly skilled Reliability Systems Expert to join our team. In this role, you will be responsible for ensuring the high-quality and reliability of our image sensors.ResponsibilitiesDevelop and implement reliability testing...


  • Santa Clara, California, United States Palo Alto Networks Full time

    Palo Alto Networks is seeking a Senior Product Manager to spearhead the creation of advanced remediation capabilities in cloud security. As a member of our team, you will be shaping the future of cybersecurity and working with world-class engineers, researchers, and security experts to push the boundaries of what's possible in cloud security.This role offers...


  • Santa Clara, California, United States Palo Alto Networks Full time

    About the Role:We're looking for a highly skilled Network Architect to join our team at Palo Alto Networks. As a Network Architect, you will be responsible for designing and implementing network security solutions that meet the needs of our organization.Responsibilities:Design and implement network security solutions that meet the needs of the...


  • Santa Clara, California, United States Ambarella Inc. Full time

    At Ambarella Inc., we are seeking a highly skilled Sr. ASIC Design Engineer to join our team.About the RoleWe are looking for a seasoned professional with expertise in designing and implementing video compression logic, image processing logic, vector processing, and neural network accelerator logics, processor cores, and memory sub-systems in Verilog and...

  • Cloud Engineer

    4 days ago


    Santa Clara, California, United States Palo Alto Networks Full time

    Job OverviewPalo Alto Networks is a leading cybersecurity company that protects the digital way of life.We are seeking an experienced Cloud Engineer to join our App Services team as a Senior Staff DevOps Engineer.


  • Santa Clara, California, United States Tbwa ChiatDay Inc Full time

    About the RoleWe are seeking a highly skilled Senior Full Stack Software Engineer to join our team in San Francisco or Santa Clara. This is an exciting opportunity for a talented engineer to contribute to the development of cutting-edge software solutions.Company OverviewAt Carta, we develop purpose-built software that transforms traditional accounting into...