# Senior Staff Engineer, GPU Design Verification (Formal Verification)

Hiring organization: [Samsung Semiconductor](https://career.thegoodapps.co/organizations/samsung-semiconductor)

Canonical page: https://career.thegoodapps.co/jobs/51eaa3dd-c5a9-43e4-86a4-ed7fd399ffe0

Listed on Samsung Semiconductor's own careers site. Applications go to them directly.

- Employment type: full time
- Seniority: Senior Staff
- Location: San Jose, CA
- Salary: 198200 – 297200 USD per year

## Summary

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._

## Skills named

C++, Perl, Python

## 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

Apply on Samsung Semiconductor's site: https://sec.wd3.myworkdayjobs.com/en-US/Samsung_Careers/job/3655-N-1st-St-San-Jose-CA-USA/Senior-Staff-Engineer--GPU-Design-Verification--Formal-Verification-_R118078-1