Haystack
← Back to Jobs
Engineering
DD

Formal Verification Engineer

Dexian DISYSAustin, TX🇺🇸United StatesPosted 3 Sept 2026

Why This Role Stands Out

This hybrid role offers an exciting opportunity to lead design verification using advanced formal tools and spec analysis, perfect for a mid-senior engineer with expertise in VC Formal or JasperGold and SVA. You'll join a reputable global company known for its innovative talent and technology solutions, providing a dynamic environment for professional growth. Apply now to leverage your skills and contribute to impactful projects within a supportive team!

Quick Overview

Seniority
Mid Senior
Work mode
Hybrid
Location
Austin, TX, United States
Posted
Yesterday

Job Description



Formal Verification Engineer
Austin, TX
12 + Months


Role:
Lead design verification using formal tools and spec analysis.


Must Have:
VC Formal or JasperGold, SystemVerilog Assertions (SVA), and FPV applications.



Dexian stands at the forefront of Talent + Technology solutions with a presence spanning more than 70 locations worldwide and a team exceeding 10,000 professionals. As one of the largest technology and professional staffing companies and one of the largest minority-owned staffing companies in the United States, Dexian combines over 30 years of industry expertise with cutting-edge technologies to deliver comprehensive global services and support.

Dexian connects the right talent and the right technology with the right organizations to deliver trajectory-changing results that help everyone achieve their ambitions and goals. To learn more, please visit .

Dexian is an Equal Opportunity Employer that recruits and hires qualified candidates without regard to race, religion, sex, sexual orientation, gender identity, age, national origin, ancestry, citizenship, disability, or veteran status.




Similar jobs

Browse related jobs

Apply now