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 4 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
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- A leading technology company is seeking a Formal Verification Engineer to ensure the functional correctness of high-performance computing solutions. Collaborate with skilled engineers to define verification scope, implement methodologies, and employ advanced techniques...Senior
$116k - $218.5k
NVIDIA Corporation in Santa Clara is seeking a Formal Verification Engineer specializing in firmware verification. In this role, you will ensure... ...reliability of low-level software, applying advanced formal methods for complex verification challenges. The ideal candidate...Suggested$136k - $218.5k
NVIDIA is seeking outstanding Senior Design Verification Engineers with a specialty in tools and automation to drive efficiency and collaboration among... ...Strong verification mindset and intuition Experience applying AI to solve problems or implementing agentic AI flows Your...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
$184k - $287.5k
...the unlimited potential of AI to define the next era of computing... .... An era in which our GPU acts as the brains of computers... ...We are now looking for a Senior System Software Engineer! NVIDIA is searching for a world... ...operating system internals, kernel modules, and device driver....SeniorWork experience placementLocal areaRemote workNVIDIA
Santa Clara, CA19 hours ago$204k - $259k
...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... ...effectively incorporate formal methods into their workflows Strategic...SeniorFull timeRemote workWaymo
Mountain View, CA3 days ago$140k - $224.25k
...unlimited potential of AI to define the next... ...An era in which our GPU acts as the brains... ...are looking for an engineer to implement compiler verification software & related infrastructure... ...and analysis methods to drive in-depth... ...breaks down Formal methods or language...SeniorNVIDIA
Santa Clara, CA4 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...$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$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$152k - $241.5k
...searching for an outstanding software engineer to fill a challenging, yet fun role on our GPU Firmware team. You will be joining... ...Experience with OS user and kernel mode drivers Passion for optimizing... ...existing vacancy. NVIDIA uses AI tools in its recruiting processes....SeniorNVIDIA
Santa Clara, CA19 hours ago$250k - $280k
...About the role: As a Principal Design Verification Engineer , you will own the verification strategy... ...) and power‑aware simulation Oversee formal verification, linting, CDC/RDC analysis... ...Preferred Qualifications: Experience in CPU/GPU/AI/Networking SoCs Expertise in GLS debug...$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- ...AMD Senior Product Manager At AMD, our mission is... ...computing experiences—from AI and data centers, to... .... AMD's Data Center GPU organization builds high... ...Triton compiler and kernel teams are central to unlocking... ...in Computer Science, Engineering, or related field, or...Senior
Advanced Micro Devices , Inc.
Santa Clara, CA3 days ago $152k - $241.5k
...the unlimited potential of AI to define the next era of computing... .... An era in which our GPU acts as the brains of computers... ...searching for outstanding senior system software engineer to join the NVIDIA's GPU... ...lifecycle, working closely with kernel driver team, GPU...SeniorNVIDIA
Santa Clara, CA4 days ago$184k - $287.5k
...re tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots,... ...impact on the world. We are looking for a Senior Linux Kernel Software Engineer to join the Linux networking drivers R&D...SeniorNVIDIA
Santa Clara, CA2 days ago$116k - $189.75k
We are now seeking a Formal Verification Engineer, focusing on the firmware verification! In this role, you... ...about applying advanced formal methods to solve complex firmware verification... ...for an existing vacancy. NVIDIA uses AI tools in its recruiting processes. NVIDIA...$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...$152k - $241.5k
...computing platforms are powering the AI revolution across many... ...developing and optimizing math kernels to extract the highest performance... ...across NVIDIA including the GPU architecture, NVVM/PTX... ...in Computer Science, Computer Engineering, or related field (or equivalent...SeniorNVIDIA
Santa Clara, CA1 day ago$136k - $264.5k
NVIDIA Gruppe is looking for a CPU Verification Engineer in Santa Clara, California. The successful candidate will be responsible for the design verification focusing on testbench development and verification processes. This role offers a unique opportunity to impact technology...Senior$184k - $287.5k
...a creative and highly motivated engineer with expertise in system s software to join the GPU Software team. You will design key aspects of our production GPU kernel drivers and embedded SW that impacts... ...existing vacancy. NVIDIA uses AI tools in its recruiting processes...SeniorNVIDIA
Santa Clara, CA4 days ago- 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
$106.4k - $172.15k
Palo Alto Networks, Inc. is seeking a Design Verification Engineer for our ASIC team in Santa Clara, California. This role focuses on ensuring next-generation firewall products meet performance and reliability standards. You will define verification methodologies, architect...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
$184k - $287.5k
...the unlimited potential of AI to define the next era of computing... .... An era in which our GPU acts as the brains of computers... ...are looking for a dedicated engineer for the Senior Systems Software Engineer... ...etc.) to develop outstanding methods and tools. Analyze, debug,...SeniorRemote workNVIDIA
Santa Clara, CA6 days ago$184k - $287.5k
...We're looking for outstanding AI systems engineers to develop groundbreaking technologies in the inference systems software stack! We build... ...of the team, you'll develop libraries, code generators, and GPU kernel technologies for NVIDIA's hardware architecture. This means...SeniorRemote workNVIDIA
Santa Clara, CA2 days ago- ...coherency fabric (SCF). Use advanced verification methods, including sophisticated verification... ...innovative verification methodologies, and formal verification techniques. Analyze and... .... Track record of mentoring junior engineers and interns (plus). Strong background...SeniorNight shift
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
- validation engineer Santa Clara, CA
- validation specialist Santa Clara, CA
- verification engineer Santa Clara, CA
- validation consultant Santa Clara, CA
- design verification engineer Santa Clara, CA
- verification & validation engineer Santa Clara, CA
- senior design verification engineer Santa Clara, CA
- computer system validation engineer Santa Clara, CA
- senior game producer Santa Clara, CA
- senior manager process engineering Santa Clara, CA