GPU Formal Verification Engineer RTL Proofs Equity
NVIDIA
NVIDIA is seeking a Formal Verification Engineer to verify the design and implementation of leading GPUs. You will work closely with architects and designers, employing advanced formal techniques, and driving formal verification efforts through the entire project cycle. The ideal candidate will have a BS/MS/PhD in a relevant field, strong analytical skills, and hands-on experience with formal verification tools. The role offers competitive compensation based on experience and location, along with equity and benefits. #J-18808-Ljbffr NVIDIA
Vacancy posted 3 days ago
Similar jobs that could be interesting for youBased on the GPU Formal Verification Engineer RTL Proofs Equity in Santa Clara, CA vacancy
- NVIDIA AI is looking for a Formal Verification Engineer in Santa Clara, California. This role involves verifying GPU micro-architecture using formal verification tools, defining the verification scope, and delivering high-quality results efficiently. The ideal candidate...Suggested
- NVIDIA is seeking a Senior Formal Verification Engineer for GPU Kernels, focusing on developing scalable verification tools that ensure GPU kernels behave... ...to make an impact on development velocity across projects while enjoying equity and benefits. #J-18808-Ljbffr NVIDIAEmployment Equity
$136k - $218.5k
As a Formal Verification Engineer at NVIDIA, you will verify the build... ...sufficiently bounded proofs while working with architects... ...performance. Debug RTL to identify causes of... .... Understanding of GPU/CPU architectures and... ...also be eligible for equity and benefits. NVIDIA...Employment Equity$100k - $166.75k
As a Formal Verification Engineer at NVIDIA, you will verify the design... ...sufficiently bounded proofs while working with architects... ...performance. Debug RTL to identify causes of... ...understanding of GPU/CPU architectures and... ...also be eligible for equity and benefits. EEO...Employment Equity$168k - $264.5k
...An era in which our GPU acts as the brains of... ...on the world. As a Formal Verification Engineer at NVIDIA, you will verify... ...sufficiently bounded proofs while working with... ...performance. Debug RTL to identify causes of... ...also be eligible for equity and benefits. Applications...Employment Equity$184k - $287.5k
We are now looking for a Senior Formal Verification Engineer for GPU Kernels! Modern AI performance relies on highly optimized GPU kernels — performance... ...4,000 USD - 287,500 USD. You will also be eligible for equity and benefits. NVIDIA is committed to fostering a...Employment EquityWork experience placement- NVIDIA is seeking a Formal Verification Engineer to ensure the correctness of the industry-leading GPUs. The role involves verifying micro-architectures... ...will have extensive experience, a strong understanding of GPU architectures, and scripting skills in TCL, Perl, or Python...Employment Equity
- MatX in Mountain View is seeking a Formal Verification Engineer to ensure rigorous mathematical guarantees... ..., developing machine-checked proofs, and collaborating with various teams... ...varies based on experience, alongside equity options and comprehensive benefits including...Employment EquityRemote jobFlexible hours
- OXMIQ designs GPU and AI silicon for large-scale... ...GPU/TPU System Design Verification Engineer , you will play a critical... ...with architects, RTL designers, software developers... ...plus. Experience with formal verification... ...including base salary, equity participation, comprehensive...Employment EquityNight shift
$140k - $220k
...ML models. We are seeking a Formal Verification Engineer to bring rigorous... ...formal property verification to RTL blocks, memory subsystems,... ...and maintain machine‑checked proofs for critical compiler transformations... ...to swap cash for equity. Compensation 0–5 years of...Employment EquityWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift workMatX
Mountain View, CA2 days ago- ...development. We're seeking engineers who are energized... ...the efficiency of GPU, CPU and... ...Level and Senior ASIC Verification Engineers with... ...environments to verify RTL at block, unit,... ...results Execute formal verification of... ...performance incentives and equity participation....Employment EquityRemote workFlexible hours
Cornelis Networks
San Jose, CA1 day ago $136k - $218.5k
NVIDIA is looking for an ASIC Verification Engineer to join their Santa Clara team. This role involves unit level verification of GPU hardware, collaborating across multiple teams including... ...to 264,500 USD for Level 4, alongside equity and benefits. NVIDIA values diversity...Employment Equity$108k - $195.5k
NVIDIA is seeking an ASIC Engineer to support the design and verification of the GPU memory subsystem in the world’s leading SoC's and GPU's - an opportunity to... ...in similar positions. You will also be eligible for equity and benefits. NVIDIA accepts applications on an ongoing...Employment Equity$204k - $259k
...will report to a Silicon Engineering Lead. You will: Define and drive formal strategy for first-pass... .... Own the formal verification sign-off approach across... ...models for effective formal proof convergence. Proven... ...annual bonus program, equity incentive plan, and generous...Employment EquityFull timeRemote work- ...Capital is looking for a Senior Design and Verification Engineer to work on cutting-edge AI systems for... ...candidate has a strong background in RTL design, functional verification, and... ...This position offers competitive salary, equity, benefits, and the chance to work at the...Employment Equity
- ...Role In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis.... ...’ll collaborate closely with RTL, verification, and ML research... ...to develop hybrid formal engines that reason about AI‑generated...
Voltai
Palo Alto, CA1 day ago - ...Job Title Formal Verification Engineer Location San Jose, CA Full Time Job Description We are looking for formal verification experts to ensure design... ...corner cases missed in simulation Collaborate with RTL teams for design improvements Required Skills Strong knowledge...Full time
SWITS DIGITAL Private Limited
San Jose, CA2 days ago $138k - $198k
...Qualifications Bachelor's degree in Electrical Engineering, Computer Engineering, Computer... .... 4 years of experience with formal and design verification. Experience with SystemVerilog or... ...$198,000 (USD) + 15% bonus target + equity + benefits Responsibilities Plan the...Employment EquityWorldwide$141.3k - $226k
...for IP and subsystem verification, including SerDes and... ...in UVM, SystemVerilog, RTL design and verification... ...experience in CDC check, formal verification,... ...Bachelor in Electrical Engineering, Computer Science or related... ...plan documents, and equity in accordance with equity...Employment EquityBroadcom Corporation
San Jose, CA1 day ago- Vings Technologies in Santa Clara, CA is seeking a formal verification expert to ensure design correctness using mathematical verification techniques... ...equivalence checking, and CDC/RDC analysis. Collaborate with RTL teams to identify corner cases missed in simulation and drive...
$100k - $166.75k
NVIDIA is looking for a Cell Modeling and Verification Engineer in Santa Clara, CA to drive the development of groundbreaking ASIC products. This... .... NVIDIA values inclusivity and diversity in its workforce, offering a range of equity and benefits. #J-18808-Ljbffr NVIDIAEmployment Equity$190k - $230k
...ten times faster than GPU‑based hyperscale cloud... ...post‑silicon and software engineers to ensure a high‑... ...Develop and implement verification strategies, detailed tests... ...including architecture, RTL design, physical design... ...may include bonus and equity, and will be determined...Employment EquityCerebras
Sunnyvale, CA2 days ago$168k - $264.5k
...seeking a Senior Custom SOC/IP Verification Engineer to verify the next... ...ensuring coherency across CPU and GPU memory subsystems, ensuring... ...the crowd: Experience with formal verification or assertion-based... ...will also be eligible for equity and benefits. Applications...Employment Equity$136k - $218.5k
...looking for hardworking systems engineers who will craft DV/Verification knowledge and extend to... ...environments by making RTL FPGA/emulation-friendly, partitioning... ...NVLINK, USB, CHI, and CPU-GPU coherency. Candidates... ...will also be eligible for equity and benefits. NVIDIA is...Employment Equity$136k - $218.5k
...graphics, with our invention of the GPU. The GPU has also shown to be... ...a Senior Cell Modeling and Verification Engineer with strong experience in... ...and high performance RTL to achieve design targets. What... ...You will also be eligible for equity and benefits. Applications for...Employment Equity$168k - $310.5k
NVIDIA is looking for a Senior Validation Engineer in Santa Clara, CA. This role involves... ...teams, and developing testing strategies for GPU accelerated computing products. A BSEE or... ...00 - $310,500 based on experience, along with equity and benefits. #J-18808-Ljbffr NVIDIAEmployment Equity$136k - $218.5k
...are now looking for a Senior Verification Engineer! NVIDIA has been... ...computing. An era in which our GPU acts as the brains of computers... ...other verification engineers to formalize product features Verify IP'... ...You will also be eligible for equity and benefits. NVIDIA is...Employment Equity- Oxmiq Labs is seeking a Senior GPU/TPU System Design Verification Engineer in Campbell, CA to verify the complete GPU subsystem from command processing to... ...memory interfaces. You will collaborate with architects, RTL designers, software teams and SoC integration groups to...
$100k - $166.75k
NVIDIA is seeking an ASIC Verification Engineer to verify the design and implementation... ...and micro-architecture of GPU and SoC units using Emulation... ...the correctness of the RTL design. Developing tools to... ...You will also be eligible for equity and benefits. NVIDIA is committed...Employment Equity$136k - $218.5k
...hardworking Senior ASIC Design Verification Engineer to help drive sign-off... ...performance of the next generation GPU and SoC, allowing you to... ...tools, Gate Level Simulation or Formal Equivalence domains. Strong... ...will also be eligible for equity and benefits . Applications...Employment EquityWork experience placementRemote work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to GPU Formal Verification Engineer RTL Proofs Equity. Be the first to apply!
Related searches
- computer validation engineer Santa Clara, CA
- validation engineer Santa Clara, CA
- computer system validation engineer Santa Clara, CA
- validation consultant Santa Clara, CA
- senior validation engineer Santa Clara, CA
- system validation engineer Santa Clara, CA
- system verification engineer Santa Clara, CA
- soc design verification engineer Santa Clara, CA
- design verification engineer Santa Clara, CA
- verification & validation engineer Santa Clara, CA