Formal Verification Engineer

Dexian; Town of Texas (WI); On-site; USD 120,000 - 160,000; Full time

Job summary

Dexian seeks a dedicated Formal Verification Engineer in Austin, TX to lead design verification using formal tools and rigorous specification analysis. You will apply VC Formal or JasperGold, develop SystemVerilog Assertions (SVA), and drive FPV applications across projects with minimal supervision.

Dexian delivers technology solutions globally and values deep verification expertise to ensure hardware reliability and performance.

Qualifications

• Experience with formal verification tooling and methodologies.
• Proficiency in VC Formal or JasperGold.
• Strong knowledge of SystemVerilog Assertions (SVA) and FPV applications.

Responsibilities

• Lead design verification using formal tools and spec analysis.

Skills

Formal verification tools

JasperGold

SystemVerilog Assertions (SVA)

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 https://dexian.com/.

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.