Search Jobs

So sorry, this position is no longer available. Please go ahead and submit your application. We may have other positions that would be the perfect fit for you. Alternatively, you may want to apply to one of the following related jobs:

GPU Formal Design Verification

San Jose, CA 95134

Posted: 07/31/2025 Employment Type: Contract Job Number: 30753 Job Location: Industry: SOFT - Software Companies

Job Description

Job Title: GPU Formal Design Verification

Position Description: Protingent Staffing has an exciting contract GPU Formal Design Verification  opportunity with our client located in San Jose, CA.

Job Description:
  • As a Formal Design Verification Engineer, you will be responsible for developing formal constraints, checks, and cover properties to new and existing design blocks towards verifying sequential equivalence for clock gating logic & so, verifying design features using assertions and verifying Datapath equivalence of C and RTL models.
  • You will diagnose formal failures and work closely with RTL designers to update formal setup or RTL code.
  • GPU designs provide a wealth of technical challenges in memory hierarchy, parallel processing units, and complex mathematical units.
  • 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.

Job Responsibilities:
  • Develop formal verification setup using System Verilog modules and Assertions
  • Run formal verification checks, analyze the results, and debug any issues.
  • Develop and enhance constraints, checks, and cover points to achieve verification quality.
  • Verify GPU design blocks using formal verification approaches like sequential equivalence checking, property-based feature verification and Datapath verification using C models.
  • Hands-on experience in developing formal based Datapath verification setups using RTL & C Models
  • Hands-on experience in developing formal property-based feature verification setups
  • In-depth expertise on proof depth and convergence analysis for formal setups
  • Root cause formal failures to identify design or test setup issues.
  • Analyze and deploy formal convergence techniques like abstraction, black boxing and design reductions.
  • Work closely with cross-functional teams, including design, architecture, and software teams, to ensure that verification efforts are aligned with project goals and requirements.
  • Participate in the development and improvement of verification methodologies, tools, and flows to increase efficiency and effectiveness of verification efforts.
  • Adhere to project execution and planning approaches using Confluence, JIRA and relevant techniques.
  • Create and maintain documentation for formal verification test plans, convergence reports, complexity analysis reports and results.
  • Responsible in driving formal verification tasks & report to project verification leads as required.

Job Qualifications:
  • BSEE, Computer Engineering, or Computer Science bachelor’s degree and a minimum of 3+ years of experience o Masters or Ph.D. degree preferred
  • Good understanding of CPU and/or GPU design architecture
  • Strong experience or exposure to System Verilog (SV) and System Verilog Assertion (SVA) coding skills is required
  • Experience in developing formal verification setups is a must
  • Experience in developing constrained random testbenches is preferred
  • Experience with formal verification tools such as VC Formal, Jasper Gold, or Questa Formal
  • Experience working in a Linux environment
  • Excellent communication skills and be able to work with cross-functional teams to execute verification plan.

Job Details:
  • Job Type: Contract
  • Pay Rate: $50-$60 an hour.
  • Location: San Jose, CA (Onsite)

Benefits Package: Protingent offers competitive salaries, insurance plan options (HDHP plan or POS plan), education/certification reimbursement, pre-tax commuter benefits, Paid Time Off (PTO), and an administered 401k plan.

About Protingent: Protingent is an Award-Winning provider of top-tier Engineering and IT talent, trusted by companies at the forefront of innovation — from Software and Aerospace to AI, Clean Tech, Medical Devices, and Connected Technologies. We’re passionate about making a positive impact by connecting exceptional talent with meaningful opportunities and helping our clients build the future.

Meet Your Recruiter

Sankalp Chivhane

Apply Online Apply with LinkedIn Apply with Facebook Apply with X

Send an email reminder to:

Share This Job:

Related Jobs:

Login to save this search and get notified of similar positions.

About San Jose, CA

Explore exciting job opportunities around San Jose, California! Known as the heart of Silicon Valley, this vibrant city offers a dynamic career landscape with countless growth prospects in tech, engineering, and beyond. San Jose boasts a thriving arts scene, with landmarks like the Tech Museum of Innovation and the San Jose Museum of Art, as well as fantastic dining options that range from trendy cafes to authentic taquerias. With its proximity to beautiful parks like Alum Rock Park and numerous entertainment options, including performances at the San Jose Center for the Performing Arts and cheering for the San Jose Sharks hockey team at the SAP Center, there's no shortage of reasons to kick-start your career in this enchanting city. Discover your next big opportunity in San Jose today!