Verification Engineer

Job overview

The Verification Engineer works onsite in Austin, TX, at $70–$80 per hour. The listing describes a 12-month duration. US Tech Solutions provides talent-on-demand and workforce solutions. The role applies formal verification expertise to design verification work, helping assess and validate hardware designs and their properties. It uses formal verification tools and methods, with scripting to automate verification flows.

What you'll do

• Use VC Formal (Synopsys) and/or Jasper Gold (Cadence)
• apply System Verilog Assertions and formal property specification
• work with formal verification applications including FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
• use TCL, Python, or Perl for flow automation
• contribute design verification experience focused on formal verification. System Verilog and UVM-based methodologies are listed as nice to have.

What we're looking for

Skills & competencies

verification engineer

austin tx

us tech solutions

$70–$80/hour

formal verification

design verification

system verilog assertions

vc formal

jasper gold

fpv

connectivity checking

register verification

tcl

python

perl

Work arrangement

• Weekend coverage required

Why this role

12-month duration; hands-on experience with VC Formal or Jasper Gold and formal verification applications is sought.

About the employer

US Tech Solutions, Inc. is hiring for this role. Industry: Employment Placement Agencies. Sector: 56.