Senior Staff Engineer, GPU Design Verification (Formal Verification)

Samsung
San Jose
Workplace: OnsiteFull timeUSD 198,200 - 297,200 annuallyFunction: Design (Product/UX/UI/Visual)Experience: 6+ yearsSkills: ["Debugging","Analytical thinking","Problem-solving","Mentoring","Communication","Collaboration","Ownership","Innovation"]

Shape block and subsystem-level formal verification for Samsung’s next-generation mobile GPU. Define verification goals, properties, coverage objectives, and sign-off criteria for features like clock and power gating. Architect and implement formal verification environments with assertions, properties, and formal models; analyze failures with counterexamples to drive root-cause resolution and verification closure. Own planning and documentation using Confluence and JIRA while mentoring engineers and advancing GPU formal verification methodologies.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Samsung
Samsung
2 months ago

Senior Staff Engineer, GPU Design Verification (Formal Verification)

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI
Last checked: 16 days agoStatus: Live

Job Summary

Shape block and subsystem-level formal verification for Samsung’s next-generation mobile GPU. Define verification goals, properties, coverage objectives, and sign-off criteria for features like clock and power gating. Architect and implement formal verification environments with assertions, properties, and formal models; analyze failures with counterexamples to drive root-cause resolution and verification closure. Own planning and documentation using Confluence and JIRA while mentoring engineers and advancing GPU formal verification methodologies.
Location: San Jose
Workplace: Onsite
Employment Type: Full time
Job Function: Design (Product/UX/UI/Visual)
Seniority: Sr. Manager level

Key Responsibilities

  • •Define formal verification strategy and execution for block and subsystem GPU features, including verification goals, properties, coverage objectives, and sign-off criteria.
  • •Architect and implement formal verification environments; collaborate with architecture and RTL teams to develop assertions, properties, and formal models.
  • •Exhaustively verify corner cases, state-space behaviors, and safety properties beyond simulation-based verification.
  • •Drive debug and root-cause resolution by analyzing formal failures and counterexamples with design and architecture teams.
  • •Create and maintain formal verification plans and reports using Confluence and JIRA; mentor engineers and advance formal verification methodologies.

Pay and Benefits

Salary: USD 198,200 - 297,200 annually
Perks:Health InsuranceDentalVisionLife Insurance401kMeal AllowanceTuition AssistancePaid LeaveStudent LoanWellness Stipend

Key Requirements

  • •10+ years of experience with a Bachelor’s degree in Computer Science/Engineering, or 8+ years with a Master’s degree, or 6+ years with a Ph.D.
  • •8+ years of hands-on GPU, CPU, or advanced semiconductor design verification experience focused on formal verification.
  • •Strong understanding of computer architecture and graphics pipelines.
  • •Strong programming and scripting skills in Python, Perl, C/C++, or equivalent.
  • •Proficiency in SystemVerilog and SystemVerilog Assertions (SVA), with expertise in formal verification methodologies and industry-standard formal EDA tools.
Experience:6+ yearsSemiconductorsGPUComputer architectureGraphics pipelines
Education:
Skills:DebuggingAnalytical thinkingProblem-solvingMentoringCommunicationCollaborationOwnershipInnovation
Tech Stack:PythonPerlC/C++SystemVerilogSystemVerilog Assertions (SVA)ConfluenceJIRAUVMIEEE 1800TMUPF

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