Haystack
← Back to Jobs
Engineering
CT

Formal Verification Engineer

CogniSoft TechnologiesAustin, TX🇺🇸United StatesPosted Oct 7, 2026

Quick Overview

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

Job Description

Title: Formal Verification Engineer
Location: Austin, TX
Duration: 1 Years Contract
 
Role:
Lead design verification using formal tools and spec analysis.
Must Have:
VC Formal or JasperGold, SystemVerilog Assertions (SVA), and FPV applications.

Similar jobs