Senior Staff Engineer, GPU Design Verification (Formal Verification)
Samsung SemiconductorSan Jose, CA · full time · Senior Staff
$198,200 – $297,200
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 seeks a formal verification specialist to architect and execute block-level GPU verification for next-generation mobile processors, ensuring functional correctness through advanced formal methods rather than simulation alone. This senior individual contributor role suits experienced GPU verification engineers ready to mentor others and pioneer new formal verification techniques on products shipped to millions of devices.
Our summary, not Samsung Semiconductor’s wording. The full posting is on their site.
What they ask for
Required
- 10+ years semiconductor design verification experience (or 8+ with Master's degree, or 6+ with Ph.D.)
- 8+ years hands-on GPU, CPU, or semiconductor design verification with formal verification focus
- Understanding of computer architecture and graphics pipelines
- Python, Perl, C/C++, or equivalent programming and scripting skills
- System Verilog and SVA proficiency
- Expertise in formal verification methodologies including property verification, data path checking, model checking, register verification, connectivity checking, and coverage analysis
- Experience with industry-standard formal verification EDA tools
Nice to have
- Memory subsystem or coherent interconnect knowledge
- Constrained random verification using UVM
- Experience developing new formal verification methodologies, flows, or tooling
- Low-power design techniques and power intent verification (UPF)
- Demonstrated passion for advancing formal verification practices