# Staff GPU Design Verification Engineer – Formal Verification

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

Canonical page: https://career.thegoodapps.co/jobs/76eadb13-0c97-4681-b9a7-bcce3eca38d2

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

- Employment type: full time
- Seniority: Lead / Staff / Principal
- Location: Austin, TX
- Salary: 151000 – 226600 USD per year

## Summary

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

## Skills named

Perl, Python, SystemVerilog

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

Apply on Samsung Semiconductor's site: https://sec.wd3.myworkdayjobs.com/en-US/Samsung_Careers/job/3900-N-Capital-of-Texas-Hwy-Austin-TX-USA/Staff-GPU-Design-Verification-Engineer---Formal-Verification_R119694