Staff GPU Design Verification Engineer, Formal Verification

Samsung Electronics

Confirmed live yesterday Trusted
Remote

Quick summary

Work type
Remote
Location
Austin, TX
Salary
$151,000–$226,600 / yr
Posted
15 days ago
Freshness
Confirmed live yesterday
Closes
Nov 30, 2026

Market check

Salary context

Competitive pay

How this pay compares to similar roles

Similar $196k
This role $189k
$134k most similar roles pay here $237k

This role pays more than 52% of similar roles. Most pay $168,762–$222,250 — the shaded band above. At the midpoint, this role pays about $189k versus about $196k for comparable roles.

Based on 240 similar postings.

Employer

About Samsung Electronics

Samsung Electronics is a South Korean multinational corporation and a global leader in technology, specializing in consumer electronics, semiconductors, and home appliances.

Samsung Electronics currently has 94 open roles on FindRole.

Listed pay typically runs $106,000–$174,500 across 58 roles with salary data.

Most-posted roles

View all roles at Samsung Electronics

At a glance

TL;DR · Staff GPU Design Verification Engineer, Formal Verification

Staff GPU Design Verification Engineer – Formal Verification As a Staff GPU Design Verification Engineer – Formal Verification, you will join the GPU Design Verification team to perform block and subsystem level formal verification for next-generation mobile GPUs. You will collaborate with architecture and RTL teams to ensure functional correctness, power gating mechanisms, and alignment with architectural intent. Your daily responsibilities include defining verification goals, properties, coverage objectives, and sign-off criteria while architecting and implementing formal verification environments. You will utilize industry-standard formal tools to validate complex graphics and compute behavior by analyzing counterexamples and resolving root causes. Required skills include proficiency in SystemVerilog, SystemVerilog Assertions (SVA), and scripting languages like Python, Perl, or C/C++. The role focuses on the technical challenge of ensuring robust GPU designs for mobile devices through advanced formal techniques such as property verification, model checking, and connectivity checking.

What you'll do

  • Execute block and subsystem level formal verification for next-generation mobile GPU designs.
  • Define verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features.
  • Architect and implement formal verification environments using industry-standard tools to validate complex graphics and compute behavior.
  • Apply formal techniques to exhaustively verify corner cases, state-space behaviors, and safety properties.
  • Analyze formal failures and trace counterexamples to perform root-cause resolution with design teams.
  • Perform advanced formal techniques including proof depth, bug hunting, and convergence analysis to achieve verification closure.
  • Maintain technical documentation including formal verification test plans, convergence reports, and complexity analysis.

What we're looking for

  • Bachelor’s degree in Computer Science or Engineering, Master’s degree, or Ph.D.
  • 6+ years of experience with a Bachelor's, 4+ with a Master's, or 2+ with a Ph.D.
  • 5+ years of hands-on experience in GPU, CPU, or advanced semiconductor design verification with a focus on formal verification.
  • Proficiency in SystemVerilog and SystemVerilog Assertions (SVA).
  • Strong programming and scripting skills in Python, Perl, C/C++, or equivalent.
  • Working knowledge of formal verification methodologies including property verification, model checking, and coverage analysis.
  • Knowledge of memory subsystems or coherent interconnects (preferred).
  • Export Control This role may require access to information subject to U.S. export control laws.

More like this

Similar roles

Senior GPU Design Verification Engineer

Samsung Electronics

Remote (Austin, TX) 11 days ago $124,000$208,400
SystemVerilog C++ Python GPU Architecture RTL Constrained-Random Testing Functional Coverage Computer Architecture Graphics Pipelines 3D Graphics Verification Testbenches Semiconductor Design
2+ yrs exp Remote

Senior Staff Engineer, GPU Design Verification (Subsystems)

Samsung Electronics

Remote (San Jose, CA) 15 days ago $180,200$297,200
SystemVerilog UVM C++ Python Perl GPU Design Verification RTL Constrained-Random Testing Functional Coverage Computer Architecture Hardware Modeling Emulation Performance Profiling Coherent Interconnects
10+ yrs exp Remote

Staff Engineer, GPU Graphic Core Performance Verification

Samsung Electronics

Remote (San Jose, CA) 43 days ago $167,800$251,800
GPU Architecture C++ Python Linux RTL Emulation SystemC OpenGL Vulkan OpenCL Performance Modeling AI/ML Sparta SoC Design Profiling Tools Automation Frameworks
6+ yrs exp Remote

GPU Design Verification Engineer

Qualcomm

San Diego, CA +3 161 days ago $161,800$273,400
System Verilog UVM Verilog VHDL C C++ Python Vulkan FPGA Emulation Palladium Zebu QEMU Make Airflow GDB uboot UEFI
4+ yrs exp

GPU Verification Engineer

Nvidia

Westford, MA 32 days ago $136,000$218,500
ASIC Verification C++ C Python Perl VCS Emulation FPGA Computer Architecture Memory Models Post-silicon Verification Debug Tools
5+ yrs exp

Senior Design Verification Engineer, GPU Memory Subsystem

Nvidia

Durham, NC 144 days ago $136,000$218,500
System Verilog Verilog UVM Python C++ ASIC Verification Pre-silicon Testbench Development Computer Architecture Arbitration Scripting Data Structures Algorithms RTL Performance Verification
5+ yrs exp