Senior GPU Formal Verification Engineer: RTL & Proofs
NVIDIA AI
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 will have 5+ years of experience and a solid educational background in CS/CE/EE/Mathematics. Responsibilities include implementing sophisticated verification techniques and collaborating effectively within a distributed team. #J-18808-Ljbffr NVIDIA AI
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Senior GPU Formal Verification Engineer: RTL & Proofs in Santa Clara, CA vacancy
- 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...Suggested
- NVIDIA is seeking a Senior Formal Verification Engineer for GPU Kernels, focusing on developing scalable verification tools that ensure GPU kernels behave correctly. You will integrate these tools within production pipelines, enhancing verification tasks through AI. The...Senior
$136k - $218.5k
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation... ...sufficiently bounded proofs while working with architects... ...their best performance. Debug RTL to identify causes of... ...experience. Understanding of GPU/CPU architectures and engineering...Senior$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-critical code where bugs can be hard to catch and expensive to miss. NVIDIA's Deep Learning Safety Team is hiring engineers...SeniorWork experience placement$100k - $166.75k
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation... ...obtain sufficiently bounded proofs while working with... ...their best performance. Debug RTL to identify causes of failure... ...Mathematics. Solid understanding of GPU/CPU architectures and...Suggested$136k - $218.5k
NVIDIA is seeking best-in-class ASIC Verification Engineers to verify the world’s leading GPUs. In this... ...and system interface hardware of the GPU. This position will be working across many... ...the testbench Partner closely with RTL and architecture teams to help refine the...SeniorShift work- 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...
$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 software and architecture. Applicants should possess a BS or MS degree and 5+ years...Senior$204k - $259k
...schedule and you will report to a Silicon Engineering Lead. You will: Define and drive formal strategy for first-pass silicon success. Own the formal verification sign-off approach across complex IP... ...models for effective formal proof convergence. Proven track record in...SeniorFull timeRemote work$160k
...innovation. Comprising brilliant engineers and visionaries, the team... ...Team is looking for a Senior, Staff level Formal Verification Engineer to develop and... ...and aid in developing the RTL design architecture and specification... ...in debugging CPU, GPU, fabric, NOC, memory,...SeniorHourly payFull timeTemporary workWork experience placementFlexible hoursNight shift- ScOp Venture Capital is looking for a Senior Design and Verification Engineer to work on cutting-edge AI systems for EDA. You will collaborate closely with... .... The ideal candidate has a strong background in RTL design, functional verification, and experience with simulation...Senior
- NVIDIA is seeking a Firmware Verification Engineer in Santa Clara, CA. The role involves validating firmware features and working closely with design and verification teams on GPU systems. Candidates should possess a BS or MS in a relevant field and have at least 3 years...Senior
- Responsibilities Performs functional verification of graphics logic... ...failing tests. Collaborates with GPU architects, RTL developers, and physical... ...reviews of plans and proofs with design and architecture... ...degree in electronics, computer engineering, or related engineering...Local area
- ...with Verilog, System Verilog, and modern verification libraries like UVM 10+ years of ASIC... ...plus Collaborate with architects, hardware engineers, and firmware engineers to understand the... ...Proficient in debugging firmware and RTL code using simulation tools KEY RESPONSIBILITIES...Senior
- Intuitive Surgical, Inc. is seeking an experienced FPGA Verification Engineer based in Sunnyvale, California. The role involves verifying FPGA's on daVinci systems focusing on RTL functional correctness and working closely with the design team to develop test plans. The...Senior
- MatX in Mountain View is seeking a Formal Verification Engineer to ensure rigorous mathematical guarantees across hardware and software. The role... ...formal property verification, developing machine-checked proofs, and collaborating with various teams. The ideal candidate...Remote 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... ...experience (Senior level). Strong expertise... ...plus. Experience with formal verification methodologies...Night shift
- ...Security Advisor, and Senior Foreign‑Policy Advisor... ...this role, you’ll build formal proofs of design correctness... ...checking, property verification, and equivalence analysis... ...closely with RTL, verification, and ML... ...develop hybrid formal engines that reason about AI‑generated...
Voltai
Palo Alto, CA5 days 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, CA17 hours ago $140k - $220k
...kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical... ...checking and formal property verification to RTL blocks, memory subsystems, and... ...Develop and maintain machine‑checked proofs for critical compiler transformations,...Work experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- A technology company in Santa Clara is seeking an adaptive Design Verification Engineer to improve ASIC design verification processes. The ideal candidate has over 10 years of experience and expertise in C/C++, Verilog, and modern verification libraries. Responsibilities...SeniorContract work
- ...Prodapt ASIC BU: SoC/ASIC RTL Design, UVM based verification, Emulation, FPGA based validation... ...up. We are looking for a Senior Design Verification who... ...collaborate with design engineers to resolve issues. Drive... ...based verification (SVA), formal verification, and verification...Senior
Prodapt
Sunnyvale, CA17 hours ago $168k - $310.5k
NVIDIA is looking for a Senior Validation Engineer in Santa Clara, CA. This role involves owning validation for products, collaborating with various teams, and developing testing strategies for GPU accelerated computing products. A BSEE or BSCE, high-speed SERDES experience...Senior$136k - $218.5k
...graphics, with our invention of the GPU. The GPU has also shown to be... ...NVIDIA VLSI team is looking for a Senior Cell Modeling and Verification Engineer with strong experience in hardware... ...fully verified and high performance RTL to achieve design targets. What we...Senior$136k - $218.5k
We are now looking for a Senior Verification Engineer! NVIDIA has been transforming computer graphics,... ...era of computing. An era in which our GPU acts as the brains of computers, robots... ...and other verification engineers to formalize product features Verify IP's using...Senior- 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...
$136k - $218.5k
NVIDIA is seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-off strategies for world... ...performance of the next generation GPU and SoC, allowing you to have real... ...equivalent tools, Gate Level Simulation or Formal Equivalence domains. Strong...SeniorWork experience placementRemote work$136k - $218.5k
A leading technology company in Santa Clara is seeking a Senior Design Verification Engineer. You will enhance integration, optimize verification tools, and collaborate with engineers across teams. The ideal candidate will have a Bachelor's or Master's degree in Computer...Senior$161.8k - $273.4k
...Qualcomm Technologies, Inc. Job Area Engineering Group, Engineering Group > GPU ASICS Engineering General Summary... ...of GPU cores. Responsible for verification of Graphics IP, and performing pre... ...C++, GNU Toolchain, Visual Studio. Formal verification - FPV and DPV...Work from home- ...semiconductor design and verification through agentic AI... ...platform accelerates RTL design, verification,... ...simulation, enabling engineers to achieve unprecedented... ...seeking a highly capable Senior Design and... ...Familiarity with lint, CDC, formal, coverage analysis, and...SeniorShift work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior GPU Formal Verification Engineer: RTL & Proofs. 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