Start searching
Back to Jobs
Recently postedEngineering

Formal Verification Engineer

Dexian DISYSAustin, TX🇺🇸United States

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

SeniorityMid Senior
Work modeHybrid
LocationAustin, TX, United States

Job description


Formal Verification Engineer
Austin, TX
12 + Months


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


Must Have:
hands-on Formal Verification using JasperGold or Synopsys VC Formal, with strong SVA property writing/debugging and FPV/SEQ experience.


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

Apply