• Senior Formal Verification

    NVIDIA (Santa Clara, CA)
    NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will play a key role in ensuring the functional correctness and completeness of our next… more
    NVIDIA (09/14/24)
    - Save Job - Related Jobs - Block Source
  • Senior ASIC Verification

    NVIDIA (Santa Clara, CA)
    The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with extensive experience in Design Verification . The NVIDIA Clocks ... in industry-standard verification flows like SV constraint random verification , UVM, Formal Verification , Coverage metrics, profiling tools, X prop, etc.… more
    NVIDIA (10/16/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Design Verification Engineer

    Cisco (San Jose, CA)
    …Who You Are The Core Hardware Business Unit is on the lookout for a driven Senior Verification Engineer to join us in developing the next generation of ... * Experience with Forwarding logic/Parsers/P4. * Experience with Veloce/Palladium/Zebu/HAPS. * Formal verification (iev/vc formal ) knowledge. * Domain… more
    Cisco (10/01/24)
    - Save Job - Related Jobs - Block Source
  • Senior ASIC Physical Design Engineer

    Capgemini (Santa Clara, CA)
    **Job Title : Senior ASIC Physical Design Engineer ** **Job Location: Santa Clara, CA (Hybrid)** **Key Responsibilities** + Chip level floor planning, ... Timing with SI and OCV, Power, IR and Physical Verification at both block and chip level + Understanding...or Perl or Python + Experience in Synthesis and Formal is a plus + Excellent verbal and written… more
    Capgemini (10/16/24)
    - Save Job - Related Jobs - Block Source
  • Senior Staff Engineer , Electrical…

    Renesas (San Jose, CA)
    Senior Staff Engineer , Electrical Design Job...creation of place and route constraints + Experience in formal verification , lint and CDC/RDC checking + ... and high-speed design concepts + Participate in design, architecture, and verification reviews + Cover digital backend design from synthesis, static timing… more
    Renesas (11/09/24)
    - Save Job - Related Jobs - Block Source
  • Senior Physical Design Engineer

    Broadcom (San Jose, CA)
    …to help through congestion resolution and timing closure. Should have experience of formal verification and timing analysis and Eco implementation. Should be ... manage extremely large volumes of internet traffic. As a Senior Physical Design Engineer , the ideal candidate...implementation of blocks and top-level including clock-tree. . Physical verification and timing closure for block and chip-level. .… more
    Broadcom (11/01/24)
    - Save Job - Related Jobs - Block Source
  • Senior Hypervisor and RTOS Engineer

    NVIDIA (Santa Clara, CA)
    …of Automotive quality standards, ASPICE, ISO 26262, ISO 21434 + Hands-on experience with formal verification methods and tools, such as Ada/SPARK and TLA+ + ... world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the...SW. We are hiring now for the position of Senior System Software Engineer for Hypervisor and… more
    NVIDIA (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Senior Digital Circuit Design…

    NVIDIA (Santa Clara, CA)
    …CDR, and offset cancellation + Experience with static timing tools (nanotime, primetime) and formal verification tools + Have a strong background in Perl and ... We are now hiring for a Senior Logic and Digital Circuit Design Engineer...in RTL for mixed-signal blocks; Experience with industry standard verification methodologies, such as UVM + Proven experience with… more
    NVIDIA (10/30/24)
    - Save Job - Related Jobs - Block Source
  • Senior Software Engineer - RTL…

    NVIDIA (Santa Clara, CA)
    …modern C++, build systems, and database. + Experienced with EDA Vendor tools for design, verification and formal analysis. The base salary range is 148,000 USD - ... infrastructure tools used by design engineers for build and verification of architectural, rtl, and gate level designs. As...architectural, rtl, and gate level designs. As a software engineer , you will craft highly efficient software to automate… more
    NVIDIA (10/06/24)
    - Save Job - Related Jobs - Block Source
  • Senior RTL Analysis Methodology…

    NVIDIA (Santa Clara, CA)
    …a lasting impact on the world. We are looking for a motivated CAD Methodology Engineer to join our dynamic and growing team. If you like solving challenging problems ... in asynchronous digital design and verification in a highly multi-functional work environment then join...Deep understanding of static sign-off technologies CDC, RDC and Formal . + Proficiency in one or more scripting languages… more
    NVIDIA (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Senior Firmware Security Engineer

    NVIDIA (Santa Clara, CA)
    …threat models, attack-trees, static/dynamic analysis, fuzzing, and negative testing + Experience with formal verification + Passion for your work We are widely ... GPUs. We are searching for an outstanding security software engineer to fill an exciting, yet fun role on...are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want… more
    NVIDIA (11/06/24)
    - Save Job - Related Jobs - Block Source
  • Senior Systems Safety Engineer

    NVIDIA (Santa Clara, CA)
    …We will count on you to guide teams in system safety methodologies for design and verification What we need to see: + BS, MS or PhD in Computer Science, Computer ... standards (ISO 26262, ISO 21448, IEC 61508) + Experience with formal requirements management environments and expressing requirements, behavior and design using… more
    NVIDIA (11/16/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer

    Cisco (San Jose, CA)
    …the world 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 ... Forwarding logic/Parsers/P4 * Prior experience with Veloce/Palladium/Zebu/HAPS * Prior experience with formal verification (iev/vc formal ) We Are Cisco… more
    Cisco (10/01/24)
    - Save Job - Related Jobs - Block Source
  • Sr. Functional Test Engineer

    Insight Global (Fremont, CA)
    …verify system performance and functionality. We are looking for a passionate, driven Senior Functional Test Engineer to contribute to System test process ... Description The Powertrain Integration team are responsible for the integration and verification of powertrain systems at Supernal. This team brings together the… more
    Insight Global (11/16/24)
    - Save Job - Related Jobs - Block Source