• GPU Formal Verification

    Qualcomm (San Diego, CA)
    …and graphics content of the most advanced mobile devices on the market. Graphics formal verification positions involve the developing high-quality formal ... verification test benches to verify complex designs in GPU . Position involves working with design, implementation teams to...quality. Must be proficient in debugging, deep bug hunting, formal tools, formal verification methodologies… more
    Qualcomm (11/11/24)
    - Save Job - Related Jobs - Block Source
  • GPU Design Verification

    Qualcomm (San Diego, CA)
    …+ Windows and/or Linux OS Kernel Architecture + C/C++, GNU Toolchain, Visual Studio + Formal verification - FPV and DPV experience is a plus + Experience with ... designs, implements, verifies, and optimizes performance and power of GPU cores. Responsible for verification of Graphics...and power of GPU cores. Responsible for verification of Graphics IP , and performing pre- and… more
    Qualcomm (10/23/24)
    - Save Job - Related Jobs - Block Source
  • 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...years of experience in CS/CE/EE/Mathematics. + Solid understanding of GPU /CPU architectures and designs. + Strong analytical skills to… more
    NVIDIA (09/14/24)
    - Save Job - Related Jobs - Block Source
  • Senior ASIC Verification Engineer

    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 Team ... and reset logic to various units in SOC and GPU ASIC. The complexity of the clocks and resets...industry-standard verification flows like SV constraint random verification , UVM, Formal Verification , Coverage… more
    NVIDIA (10/16/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer , Design Verification

    Meta (Columbus, OH)
    **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation. 12. Experience in… more
    Meta (11/09/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer , Design Verification

    Meta (Columbus, OH)
    **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...Preferred Qualifications: 13. Experience in development of UVM based verification environments from scratch. 14. Experience verifying GPU more
    Meta (11/05/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 our GPU Firmware team. You will be joining a team whose… more
    NVIDIA (11/06/24)
    - Save Job - Related Jobs - Block Source
  • Senior Software Engineer - RTL Design Tools

    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 - ... reinvented itself over two decades. Our invention of the GPU in 1999 fueled the growth of the PC...infrastructure tools used by design engineers for build and verification of architectural, rtl, and gate level designs. As… more
    NVIDIA (10/06/24)
    - Save Job - Related Jobs - Block Source
  • Physical Design Engineer

    Qualcomm (Austin, TX)
    …timing fixes and functional ECOs, debugging and fixing physical violations, and formal verification . The individual also should have deep knowledge on ... SOC and core design team. As a physical design engineer you will innovate, develop, and implement chips and...Compiler - Timing closure experience in Synopsys PTSI - Formal verification experience - Power domain analysis… more
    Qualcomm (10/29/24)
    - Save Job - Related Jobs - Block Source
  • Senior Digital Circuit Design Engineer

    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 ... hiring for a Senior Logic and Digital Circuit Design Engineer ! NVIDIA has continuously reinvented itself over two decades....reinvented itself over two decades. Our invention of the GPU in 1999 sparked the growth of the PC… more
    NVIDIA (10/30/24)
    - Save Job - Related Jobs - Block Source
  • Software Engineer Staff

    Lockheed Martin (Liverpool, NY)
    …Experience working with a team, as well as independently * Experience with formal testing, verification , and validation * Experience mentoring software engineers ... background\! **The Work** We are looking for a talented and motivated Lead Software Engineer to join our growing integrated team working on state of the art radar… more
    Lockheed Martin (10/10/24)
    - Save Job - Related Jobs - Block Source
  • SR Software Engineer

    Lockheed Martin (Moorestown, NJ)
    …Experience working with a team, as well as independently * Experience with formal testing, verification , and validation * Experience mentoring software engineers ... and background\! **The Work** We are looking for a talented and motivated Software Engineer to join our growing integrated team working on state of the art radar… more
    Lockheed Martin (08/31/24)
    - Save Job - Related Jobs - Block Source
  • Senior RTL Analysis Methodology Engineer

    NVIDIA (Santa Clara, CA)
    …potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the ... world. We are looking for a motivated CAD Methodology Engineer to join our dynamic and growing team. If...like solving challenging problems in asynchronous digital design and verification in a highly multi-functional work environment then join… more
    NVIDIA (11/16/24)
    - Save Job - Related Jobs - Block Source