• Formal Verification Lead…

    NVIDIA (Santa Clara, CA)
    We are now looking for a Formal Verification Lead - Security . NVIDIA is seeking a skilled and experienced Formal Verification Lead to ... top-notch products. This position offers a chance to lead the formal verification efforts of security features, working closely with colleagues in… more
    NVIDIA (07/06/24)
    - Save Job - Related Jobs - Block Source

  • Senior FPGA/ASIC Verification ATX

    Cadence Design Systems, Inc. (San Jose, CA)
    …have a deep technical knowledge and understanding of digital and mixed-signal verification including logic simulation, formal property analysis, protocol ... manage campaigns externally with customers. + Must have a knowledge of AI/ML verification methods and functional safety/ security /radhard verification . + Must… more
    Cadence Design Systems, Inc. (09/24/24)
    - Save Job - Related Jobs - Block Source

  • Security Systems Design Engineer

    M. C. Dean (San Jose, CA)
    ** Security Systems Design Engineer - San Jose, CA** ID **12521** Location **San Jose, CA** Apply Now ... improving lives, and changing the world for the better. We are seeking a ** Security Systems Design Engineer** to join our ** Security and Electronic Systems… more
    M. C. Dean (09/06/24)
    - Save Job - Related Jobs - Block Source

  • ASIC Engineering Technical Leader

    Cisco (San Jose, CA)
    …Prior experience with Forwarding logic/Parsers/P4 * Prior experience with Veloce/Palladium/Zebu/HAPS * Formal verification experience with (iev/vc formal ) We ... What You'll Do The Core Hardware Business Unit is looking for a motivated Senior Verification engineer/ lead to engage in new development of our UCS family. You… more
    Cisco (10/03/24)
    - Save Job - Related Jobs - Block Source

  • Applied Scientist, Automated Reasoning in Identity

    Amazon (Santa Clara, CA)
    Description Are you passionate about applying formal verification , program analysis, constraint-solving, and theorem proving to real world problems? Do you want ... of SAT, SMT, BDDs, and various concepts from programming languages, theorem proving, formal verification and constraint solving. - Perform analysis of the… more
    Amazon (07/17/24)
    - Save Job - Related Jobs - Block Source

  • Estimator

    Hensel Phelps (Pleasanton, CA)
    …Offers are Contingent Upon Successful Completion of the Following:** + Verification of Work Authorization and Employment Eligibility + Substance Abuse Screening ... + Physical Exam (if applicable) + Background Checks for Badging/ Security Clearances (if applicable) **About Hensel Phelps:** Founded in 1937, Hensel Phelps… more
    Hensel Phelps (08/14/24)
    - Save Job - Related Jobs - Block Source
Job Title, Industry, Employer
City & State or Zip Code
20 mi
Advanced Search