Senior GPU Kernel Verification Engineer — Formal Methods & AI
NVIDIA Gruppe
NVIDIA Gruppe is seeking a Senior Formal Verification Engineer for GPU Kernels, focused on creating verification tools that ensure correct behavior in various environments. This role involves designing verification tools, integrating AI into workflows, and participating in innovative software and hardware product development. A MS or PhD in Computer Science and strong programming skills are essential. The position is located in Santa Clara, California, offering a competitive salary and benefits. #J-18808-Ljbffr NVIDIA Gruppe
Vacancy posted 5 days ago
Similar jobs that could be interesting for youBased on the Senior GPU Kernel Verification Engineer — Formal Methods & AI in Santa Clara, CA vacancy
$184k - $287.5k
NVIDIA Corporation is seeking a Senior Formal Verification Engineer for GPU Kernels in Santa Clara, CA. In this role, you will develop and deliver verification tools for GPU kernels, integrating AI into verification workflows. The ideal candidate has an MS or PhD in Computer...Senior$184k - $287.5k
Overview We are looking for a Senior Formal Verification Engineer for GPU Kernels. NVIDIA's Deep Learning Safety Team is... ...and compiler developers. Integrate AI into formal verification workflows... ...relevant work experience. Formal methods experience: symbolic execution, SMT...SeniorWork experience placement$184k - $287.5k
Senior Formal Verification Engineer, GPU Kernels page is loaded## Senior Formal Verification Engineer, GPU Kernelslocations... ...Engineer for GPU Kernels! Modern AI performance relies on highly... ...the latest GPU architectures.Formal methods alone cannot scale to modern GPU kernels...SeniorWork experience placement$136k - $218.5k
...seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-... ...the next generation GPU and SoC, allowing... ...deployment of agentic AI frameworks for DV workflows... ...Level Simulation or Formal Equivalence domains.... ...and automation methods/algorithms a certain...SeniorWork experience placementRemote workNVIDIA
Santa Clara, CA4 days ago- About Architect Architect is an AI lab for the compute stack,... ...of the Technical Staff - Formal Methods at Architect Labs, you'll work... ...spec. Co-design with our verification methodology and ML research... ...a single-tool maximalist. Engineering Rigor: Strong software engineering...Senior
$136k - $218.5k
NVIDIA is seeking outstanding Senior Design Verification Engineers with a specialty in tools and automation to drive efficiency and collaboration among... ...verification mindset and intuition* Experience applying AI to solve problems or implementing agentic AI flows#LI-HybridYour...Senior- A cutting-edge AI company in California is looking for a Member of Technical Staff for Kernel/Compiler/Communication. This critical role... ...strong expertise in CUDA and GPU optimization, along with 5+ years... ...of experience in performance engineering. The ideal candidate will...Senior
- NVIDIA Gruppe is looking for a senior engineer to join their Math Libraries team in Santa Clara,... ...software on GPUs, with a strong focus on kernel generation. The ideal candidate has over... ...opportunity to be part of cutting-edge AI and data center technologies. #J-18808-...Senior
- ...About the job Senior ASIC Verification Engineer (AI Hardware) Senior ASIC Verification Engineer (AI Hardware) - Remote (U.S.) - No... ...integration or co-verification Familiarity with formal verification methods Exposure to post-silicon validation, bring-up, or...SeniorRemote workVisa sponsorship
4 Staffing Corp
San Jose, CA5 days ago $168k - $264.5k
...actively searching for talented Senior Verification Engineers to ensure the integrity and... .... Innovate by bringing AI and LLM-driven workflows... ..., functional coverage, and formal test plan documentation.... ...and analytical skills with a methodical approach to resolving complex...SeniorNVIDIA
Santa Clara, CA2 days ago$100k - $166.75k
As a Formal Verification Engineer at NVIDIA, you will work in the formal verification team for the industry... ...candidates with knowledge of formal methods. The engineer will own the task of formal... ...knowledge of architectures of CPU/GPU designs and digital logic. Understanding...$184k - $287.5k
Senior System Software Engineer NVIDIA has been transforming computer graphics, PC gaming... ...the unlimited potential of AI to define the next era of computing... .... An era in which our GPU acts as the brains of... ...operating system internals, kernel modules, and device driver....SeniorWork experience placementLocal areaRemote work$136k - $218.5k
...of computing innovation. Our ASIC Verification Engineers focus on developing the world’s top SoCs and GPUs. Joining us as a Senior ASIC Verification Engineer - GPU means working on modern technology powering consumer graphics and AI applications. This position is ideal...Senior$200k - $322k
We are seeking a self‑motivated senior engineer for the Aerial Omniverse Digital Twin team. This... ...team, you will design and implement GPU kernels that apply time‑varying, multi‑antenna... ...is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. NVIDIA...Senior- ...Senior Design Verification Engineer Location: On-site in Santa Clara, CA Job Type: Full-Time Client is... ...breakthrough infrastructure solutions in AI. With a rapidly growing team and... ...testing, assertion-based verification, formal analysis, and functional verification...SeniorFull time
InterSources
Santa Clara, CA4 days ago $120k - $225k
...Design Verification Engineer We're hiring experienced Design Verification Engineers to play... ...that will bring our next-generation AI processors to life. Mythic is building... ...techniques. Exposure to formal verification methods and tools. Familiarity with power...SeniorMythic
Palo Alto, CA4 days ago$164.47k - $311.89k
...About the Role Intel is seeking a Senior Design Verification Engineer for the Silicon Chassis team. In this... ...across traditional discipline boundaries. AI-assisted workflows are part of... ...Drive convergence of simulation and formal verification into unified bug hunting...SeniorInternshipLocal areaImmediate startShift workIntel
Santa Clara, CA5 days ago$200k
...compute platforms for Physical AI. As AI moves beyond the... ...of exceptional architects and engineers to rethink how AI, sensing, memory... ...looking for talented Design Verification Engineers to help verify and... ...SystemVerilog, UVM, C/C++, assertions, formal verification, emulation, and...SeniorFlexible hours- A leading technology company is seeking a Senior Systems Software Engineer to join their GPU Software team in California. This position involves designing and... ...skills in C programming, and a strong background in kernel development. This role offers a competitive salary and...Senior
- A leading technology company is seeking a Senior AI Software Engineer to join their team in Santa Clara, California. In this role, you will innovate... ...including deep learning framework optimizations and GPU kernel technologies. You will closely collaborate with other...Senior
$250k - $280k
...Principal Design Verification Engineer Bolt Graphics is a semiconductor startup based in Sunnyvale... ...and power-aware simulation Oversee formal verification, linting, CDC/RDC analysis... ...Qualifications: Experience in CPU/GPU/AI/Networking SoCs Expertise in GLS...Work at officeWork from homeBolt Graphics
Sunnyvale, CA3 days ago$132k - $189k
...Apply Bachelor's degree in Electrical Engineering, Computer Engineering, Computer... ...experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog... ..., you’ll work to shape the future of AI/ML hardware acceleration. You will...Full timeWorldwide- ...is seeking a Thermal Solutions Development Engineer to transform thermal solution concepts... ...involves building thermal solutions for next-gen GPU/SOC products and collaborating with... ...focusing on thermal management principles and AI-assisted tools. Join NVIDIA to contribute...Senior
$181.1k - $318.4k
...United States Hardware Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial... ...LlamaIndex, Hugging Face, or similar). Background in formal methods, mathematical logic, or a strong mathematical foundation...Relocation$156k - $229k
...Bachelor's degree in Electrical Engineering, Computer Engineering,... ...years of experience with design verification. Experience with SystemVerilog... ...work to shape the future of AI/ML hardware acceleration. You... ...using SystemVerilog and UVM, or formally verify designs with SVA and...SeniorFull timeWorldwide$100k - $166.75k
NVIDIA Gruppe is seeking a Formal Verification Engineer in Santa Clara, CA. The role involves formal verification of RTL units for chip designs,... ...MS in CS/CE/EE/Mathematics and have experience in formal methods and HDL tools like Verilog and SystemVerilog. A strong communication...- NVIDIA Corporation in Santa Clara is seeking a Senior SoC ASIC Verification Engineer to ensure the functionality of its cutting-edge AI-enabled SoCs. You will collaborate with various engineering teams to define strategies and build verification methodologies for next-...Senior
- Crusoe is seeking a Virtualization Validation Engineer in Sunnyvale, California, responsible for the end-to-end validation of large-scale GPU clusters. The role involves executing multi-node scaling tests, validating high-speed interconnects, and benchmarking collective...Senior
- NVIDIA Gruppe in Santa Clara is looking for a Senior ASIC Verification Engineer to join our ASIC Verification team. This role involves verifying the industry's leading GPUs and collaboration with various teams to ensure the design's correctness. The ideal candidate will...Senior
- Google Inc. is looking for a Verification Engineer specializing in Digital Signal Processing in Sunnyvale, CA. The candidate will shape the future of AI/ML hardware acceleration, working on cutting-edge TPU technology and verifying complex digital designs focusing on TPU...Senior
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior GPU Kernel Verification Engineer — Formal Methods & AI. Be the first to apply!
Related searches
- design verification engineer Santa Clara, CA
- validation specialist Santa Clara, CA
- senior design verification engineer Santa Clara, CA
- soc design verification engineer Santa Clara, CA
- senior verification engineer Santa Clara, CA
- verification & validation engineer Santa Clara, CA
- computer system validation engineer Santa Clara, CA
- verification engineer Santa Clara, CA
- validation consultant Santa Clara, CA
- computer validation engineer Santa Clara, CA