Design Verification Engineer

TPI (Tech Providers, Inc.)
  • Austin, TX
  • $75–$80 Per Hour
  • Contractor
  • Instant Apply
8 days ago

Job Description

We are seeking a Senior Formal Verification Engineer with 8–10+ years of experience in semiconductor design verification and a strong focus on formal verification methodologies. The ideal candidate will have hands-on experience with Synopsys VC Formal and/or Cadence JasperGold, strong expertise in SystemVerilog Assertions (SVA) and formal property specification, and experience with FPV, connectivity checking, register verification, equivalence checking, and coverage analysis. The candidate should also be proficient in SystemVerilog, UVM, and scripting languages such as TCL, Python, or Perl for verification flow automation.

Job Responsibilities

Must-Have Skills:

  • VC Formal (Synopsys) and/or JasperGold (Cadence) — hands-on experience
  • Strong SystemVerilog Assertions (SVA)
  • Formal property specification
  • Formal verification applications:
  • FPV (Formal Property Verification)
  • Connectivity checking
  • Register verification
  • Equivalence checking
  • Coverage analysis
  • Strong SystemVerilog
  • UVM-based verification
  • Scripting/automation using TCL, Python, or Perl
  • Extensive Design Verification experience with a strong formal verification focus
  • 8–10+ years of relevant experience

Numbers & Facts

LocationAustin, TX
Job TypeContractor
IndustryStaffing/Employment Agencies
Salary$75–$80 Per Hour
Year Founded1998
HeadquartersBirmingham, Alabama, US
Websitehttps://www.tpiglobalsolutions.com/

About Company

TPI started in 1998, providing technical professionals to businesses scrambling to fix the Y2K bug. We met those challenges head-on and established ourselves as an IT talent and services firm that could be counted upon.

Since then we’ve grown. We continue to connect employers with tough-to-find IT expertise and help technical professionals find jobs that match their career goals. Now we are doing the same with engineering, finance and accounting professionals from our Birmingham, Atlanta and Charlotte offices.

As one of the top engineering and IT recruiting firms in the country, we know what it takes to find the right people for the job. Building a talent network from professionals nationwide – people with tons of skills and experience in information technology, engineering, accounting & finance and more.

It’s hard to tell what a job will be like from a few words in an online job posting. Speak with a TPI recruiter to discuss your career goals. TPI provides the data – about the position and the corporate culture of our employers – so you can make intelligent career decisions. TPI has recruiting professionals dedicated to your success.

Skills

  • Formal Verification

Skills

  • Analysis Skillsunmatched
  • Automationunmatched
  • Cadenceunmatched
  • Design Verificationunmatched
  • Equivalence Verificationunmatched
  • Formal Verificationunmatched
  • Perl Programming Languageunmatched
  • Python Programming/Scripting Languageunmatched
  • Scripting (Scripting Languages)unmatched
  • Semiconductorsunmatched
  • SystemVerilogunmatched
  • Tcl-Tkunmatched
  • Technical/Engineering Designunmatched
  • Verification Engineeringunmatched

Be found by employers

5,500+ employers search our resume database daily. Add yours to get found by recruiters looking for candidates like you.

Level up your application

Professional resume templates

Browse dozens of recruiter approved resume templates, layouts and formats. Choose your favorite and make it your own in minutes.

Free resume templates

Free resume builder

Improve your existing resume or start from scratch and create a standout, ATS-friendly resume. Add job-specific content, download and apply.

Free resume builder