Staff GPU Design Verification Engineer – Formal Verification

Samsung
Austin
Workplace: OnsiteFull timeUSD 151,000 - 226,600 annuallyFunction: Design (Product/UX/UI/Visual)Experience: 6+ yearsEducation: bachelorsSkills: ["Debugging","Analytical thinking","Problem-solving","Independent execution","Communication","Collaboration","Ownership"]

Contribute to block- and subsystem-level formal verification for next-generation mobile GPUs, partnering with architecture and RTL teams to ensure functional correctness and power-gating behavior. Define verification goals, properties, coverage objectives, and sign-off criteria; build formal verification environments with assertions, properties, and formal models. Triage formal failures via counterexamples and root-cause analysis to drive verification closure, maintain documentation, and share knowledge across the distributed GPU verification team.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Samsung
Samsung
22 hours ago

Staff GPU Design Verification Engineer – Formal Verification

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 4 hours agoStatus: Live

Job Summary

Contribute to block- and subsystem-level formal verification for next-generation mobile GPUs, partnering with architecture and RTL teams to ensure functional correctness and power-gating behavior. Define verification goals, properties, coverage objectives, and sign-off criteria; build formal verification environments with assertions, properties, and formal models. Triage formal failures via counterexamples and root-cause analysis to drive verification closure, maintain documentation, and share knowledge across the distributed GPU verification team.
Location: Austin
Workplace: Onsite
Employment Type: Full time
Job Function: Design (Product/UX/UI/Visual)
Seniority: Sr. Manager level

Key Responsibilities

  • •Execute formal verification to validate functional correctness, including power gating mechanisms and architectural intent alignment.
  • •Define formal verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features such as clock and power gating.
  • •Architect and implement formal verification environments by collaborating with RTL and architecture teams to develop assertions, properties, and formal models.
  • •Apply formal techniques to exhaustively verify corner cases, state-space behaviors, and safety properties beyond simulation.
  • •Analyze formal failures with counterexamples for debug and root-cause resolution, and maintain verification documentation including test plans and convergence reports.

Pay and Benefits

Salary: USD 151,000 - 226,600 annually
Perks:Health InsuranceDentalVisionLife Insurance401kTuition AssistancePaid LeaveWellness StipendMeal AllowanceStudent LoanRelocation

Key Requirements

  • •6+ years of experience with a Bachelor’s degree in Computer Science/Engineering, or 4+ years with a Master’s degree, or 2+ years with a Ph.D.
  • •5+ years of hands-on experience in GPU, CPU, or advanced semiconductor design verification with a focus on formal verification.
  • •Solid understanding of computer architecture and graphics pipelines.
  • •Strong programming/scripting skills in Python, Perl, C/C++, or equivalent.
  • •Proficiency in SystemVerilog and SystemVerilog Assertions (SVA).
Experience:6+ yearsSemiconductorsGPU verificationCPU verificationComputer architectureFormal verification
Education:Bachelor's in Computer Science/Engineering
Skills:DebuggingAnalytical thinkingProblem-solvingIndependent executionCommunicationCollaborationOwnership
Tech Stack:PythonPerlC/C++SystemVerilogSystemVerilog Assertions (SVA)UPFUVMJIRAConfluence

Company Brief

Samsung
Global conglomerate known for consumer electronics, home appliances, semiconductors, displays, and mobile devices. Designs and manufactures a wide range of products and solutions for consumers, enterprises, and industrial customers worldwide.
Industry: Conglomerates & Holding Companies
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Seoul, South Korea
Founded: 1938
Glassdoor
Glassdoor: 3.7
WebsiteLinkedIn