Impress employers and recruiters.
Choose from hundreds of resume examples.

Impress employers and recruiters.
Choose from hundreds of resume examples.

Target Resume Now

About the Role

Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL) is building a center of excellence for Intellectual Property (IP) applied to high-performance computing devices. This role contributes to block and subsystem level formal verification for next-generation mobile GPUs, ensuring functional correctness, power gating mechanisms, and alignment with architectural intent.

Responsibilities

• Contribute to block-level formal verification strategy and execution by defining verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features, including clock and power gating.
• Architect and implement formal verification environments by collaborating with RTL and architecture teams to develop assertions, properties, and formal models using industry-standard formal tools and methodologies to validate complex graphics and compute behavior.
• Ensure functional correctness by applying formal techniques to exhaustively verify corner cases, state-space behaviors, and safety properties.
• Contribute to debug analysis and root-cause resolution by analyzing formal failures, tracing counterexamples, and working closely with design and architecture teams.
• Apply formal verification techniques including proof depth, bug hunting, complexity handling, bounded proof, failure triaging, cover scenarios, and convergence analysis.
• Exercise independent judgment in execution, methods, and evaluation criteria, breaking down complex verification problems into actionable tasks.
• Contribute to project execution using Confluence, JIRA, and relevant planning techniques.
• Maintain documentation including formal verification test plans, convergence reports, and complexity analysis.
• Participate in knowledge-sharing and foster a culture of ownership and engineering rigor within the team.

Requirements

• 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 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.
• Ability to access information subject to U.S. export control restrictions or be eligible to receive a government authorization.
• Agree not to disclose to Samsung, or induce Samsung to use, any confidential or proprietary information (including trade secrets) belonging to any current or previous employer or other person or entity.

Skills

• Formal verification
• GPU design verification
• Semiconductor design verification
• Python
• Perl
• C/C++
• SystemVerilog
• SystemVerilog Assertions (SVA)
• Property verification
• Data path checking
• Model checking
• Register verification
• Connectivity checking
• Coverage analysis
• Formal verification EDA tools
• Confluence
• JIRA

Location

• Austin

Work Type

• Full-time

Experience Level

• 6+ years of experience with a Bachelor’s Degree
• 4+ years of experience with a Master’s Degree
• 2+ years of experience with a Ph.D.

Education Level

• Bachelor’s Degree in Computer Science/Engineering
• Master’s Degree
• Ph.D.

Salary/Compensations

• $151,000 - $226,600

Benefits

• Medical
• Dental
• Vision
• Life insurance
• 401(k)
• Onsite lunch
• Employee purchase program
• Tuition assistance (after 6 months)
• Paid time off
• Student loan program
• Wellness incentives
• MBO bonus compensation
• Long term incentive plan
• Relocation

About the Company

• Samsung is a world leader in advanced semiconductor technology.
• Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL) is building a center of excellence for Intellectual Property (IP) applied to high-performance computing devices (mobile, automotive, and other custom market segments).
• The GPU Design Verification team at SARC/ACL owns verification coverage for Samsung’s current and next-generation mobile GPUs.
• Our work spans across three areas: Graphic Core, Subsystem Verification, and Formal Verification.
• As a globally distributed team, we work closely with architecture, design, software, emulation, and system-level partners to ensure GPU designs function effectively as a complete system.
• Our Xclipse GPU is the first mobile GPU with ray tracing technology that enables console-level graphics for Samsung Galaxy smartphones.
• You will join a diverse, collaborative organization to work on concurrent annual development lifecycles and see your work delivered in real consumer technologies.
• Here you’ll help build what’s next, broaden your expertise, and solve impactful challenges in a supportive environment that values collaboration, continuous learning, and growth.

Equal Opportunity

• Samsung Electronics America, Inc. and its subsidiaries are committed to employing a diverse workforce, and provide Equal Employment Opportunity for all individuals regardless of race, color, religion, gender, age, national origin, marital status, sexual orientation, gender identity, status as a protected veteran, genetic information, status as a qualified individual with a disability, or any other characteristic protected by law.