Staff GPU Design Verification Engineer – Formal Verification

Austin, TX · full time · Lead / Staff / Principal

$151,000 – $226,600

Listed on Samsung Semiconductor’s own careers site. You apply with them directly — we never stand between you and the employer.

What this role is

Samsung is hiring a Staff-level design verification engineer to lead formal verification efforts for next-generation mobile GPUs, ensuring functional correctness through exhaustive mathematical proof rather than simulation alone. This role suits someone with deep expertise in formal methods and semiconductor verification who can work independently on complex GPU features like power gating while collaborating across architecture and design teams.

Our summary, not Samsung Semiconductor’s wording. The full posting is on their site.

Skills this role names

What they ask for

Required

6+ years experience with Bachelor's degree (or 4+ with Master's, or 2+ with Ph.D.)
5+ years hands-on GPU, CPU, or semiconductor design verification with formal verification focus
Understanding of computer architecture and graphics pipelines
Programming and scripting in Python, Perl, C/C++, or equivalent
SystemVerilog and SVA proficiency
Knowledge of formal verification methodologies including property verification, data path checking, model checking, register verification, and coverage analysis
Experience with industry-standard formal verification EDA tools
Strong debugging and problem-solving skills
Ability to work collaboratively across teams

Nice to have

Memory subsystems or coherent interconnects knowledge
Constrained random verification experience with UVM
Experience developing or improving formal verification flows or tooling
Exposure to low-power design techniques and power intent verification (UPF)
Interest in advancing formal verification practices