Staff GPU Formal Verification Engineer - Relocation & Incentives

Bzpp; United States; On-site; USD 151,000 - 227,000; Full time

Job summary

Samsung Austin Research and Development Center (SARC) is seeking a Staff GPU Design Verification Engineer specialized in Formal Verification to advance GPU verification for mobile devices. You will architect and implement formal verification environments, create assertions, and validate graphics/compute behavior across RTL and architecture teams.

The role emphasizes independent judgment, rigorous methodology, and collaboration within a fast-paced global team, based in Austin, TX.

Qualifications

• 6+ years of experience with a Bachelor’s Degree in Computer Science/Engineering, or 4+ years of experience with a Master’s Degree, or 2+ years of experience with a Ph.D.
• 5+ years of hands-on experience in GPU, CPU, or advanced semiconductor design verification with a focus in formal verification.
• Solid 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).
• Working knowledge of formal verification methodologies, including property verification, data path checking, model checking, register verification, connectivity checking, and coverage analysis.
• Hands-on experience with industry-standard formal verification EDA tools and methodologies.
• Strong debugging, analytical, and problem-solving skills with the ability to propose and execute solutions independently.
• Effective communication and collaboration skills, with the ability to work across RTL, architecture, and design teams in a fast-paced global environment.

Responsibilities

• Perform block- and subsystem-level formal verification for Samsung's next-generation mobile GPU.
• Define verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features, including clock and power gating.
• Develop assertions, properties, and formal models using industry-standard formal tools and methodologies.
• Exhaustively verify design correctness, corner cases, state-space behaviors, and safety properties beyond simulation.
• Analyze failures, trace counterexamples, and collaborate with design teams to improve verification alignment and robustness.
• Document formal verification plans, convergence reports, and complexity analyses; contribute to knowledge sharing.

Skills

GPU verification

Formal verification

SystemVerilog

SVA

Python/C/C++

Debugging

Cross-functional collaboration

Education

Bachelor’s Degree in Computer Science/Engineering

Master’s Degree

Ph.D.

Tools

Industry-standard formal verification EDA tools

Job description

Samsung Austin Research and Development Center (SARC) is seeking a Staff GPU Design Verification Engineer specialized in Formal Verification to advance GPU verification for mobile devices. You will architect and implement formal verification environments, create assertions, and validate graphics/compute behavior across RTL and architecture teams.

The role emphasizes independent judgment, rigorous methodology, and collaboration within a fast-paced global team, based in Austin, TX.