Remote
2 days ago
GPU Formal Verification Engineer

Position Summary

Samsung, a world leader in advanced semiconductor technology, is founded on a simple philosophy – the endless pursuit of excellence will create a better world for all. At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are building a center of excellence for Intellectual Property (IP) that is applied to high-performance computing devices (mobile, automotive, and other custom market segments) consumed by millions of people around the world. Come build with us!

Role and Responsibilities

As a GPU Formal Verification Engineer, you will drive the verification efforts of Samsung’s advanced GPU design to deliver market-leading standards of quality and reliability. This is a challenging and rewarding position where you will learn cutting-edge design and verification techniques from an exceptionally talented team, and where your contributions will make a visible impact to the end product.

You will be responsible for adding relevant constraints, assertions, and cover properties to new and existing blocksYou will verify various sequential equivalence scenarios such as clock gating, and verifying datapath equivalence of C and RTL models.  You will diagnose formal failures and work closely with RTL designers to update formal constraints or RTL code in order to fix the failures.  

Skills and 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. Good understanding of CPU and/or GPU design architectureBasic RTL and SystemVerilog skills – can read and understand designs and test benches. Thorough understanding of SystemVerilog assertionsExperience with formal tools such as VC Formal, Jasper Gold, or Questa Formal (required)Experience working in a Linux environmentExcellent communication skills and be able to work with cross-functional teams to execute verification plan

Preferred candidate will possess the following:

Deep understanding of CPU and/or GPU designProficiency in scripting languages such as Python, Perl, or TclStrong capability to read high-level design specifications and RTL to create and execute verification plans.

Our Team

The GPU Design Verification team at SARC/ACL owns test plan coverage for Samsung’s mobile GPU through three levels: Graphic Code, Subsystem Verification, and Formal Verification. As a geographically dispersed team, we collaborate and interact with other internal teams to ensure GPU architectural designs and modules within the GPU work well across the board.

Here you are part of a diverse global task force with a cross-functional scope, focusing on collaboration and growth to scale quickly with the financial backing of a company leading globally in innovation. Being part of a unique growing team means you have limitless room to explore, innovate, and grow by wearing different hats. You will experience multiple aspects of the development cycle and see your work in an end-user product. Learning always happens and you are encouraged to think outside the box to turn ideas into reality.

Pay Transparency

At Samsung – SARC/ACL, base pay is one part of our total compensation package and is determined within a range. This provides the opportunity to progress as you grow and develop within a role. The base pay range for this role is between $144,345.00 and $257,336.00 . Your actual base pay will depend on variables that may include your education skills, qualifications, experience, and work location.

Samsung employees have access to benefits including: medical, dental, vision, life insurance, 401(k), free onsite lunch, employee purchase program, tuition assistance (after 6 months), paid time off, student loan program, wellness incentives, and many more. In addition, regular full-time employees (salaried or hourly) are eligible for MBO bonus compensation, based on company, division, and individual performance.

Additionally, this role might be eligible to participate in long term incentive plan and relocation.

U.S. Export Control

This position requires the ability to access information subject to U.S. export control restrictions.  Applicants must have the ability to access export-controlled information or be eligible to receive a government authorization to access export-controlled information.

Trade Secrets

By submitting an application, you [applicant] agree[s] 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.

 

#SARC #ACL #Hybrid

* Please visit Samsung membership to see Privacy Policy, which defaults according to your location. You can change Country/Language at the bottom of the page. If you are European Economic Resident, please click here.

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

Confirm your E-mail: Send Email
All Jobs from Samsung Electronics America