Formal Verification Engineer
Contract W2
Contract Independent
12 Months
No Travel Required
On-site
Depends on Experience
CogniSoft Technologies
Fitment
Dice Job Match Score™
🔢 Crunching numbers...
Job Details
Skills
- VC Formal
- JasperGold
- SystemVerilog Assertions (SVA)
- FPV applications
- design verification
- spec analysis
Summary
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.
Lead design verification using formal tools and spec analysis.
Must Have:
VC Formal or JasperGold, SystemVerilog Assertions (SVA), and FPV applications.
Employers have access to artificial intelligence language tools (“AI”) that help generate and enhance job descriptions and AI may have been used to create this description. The position description has been reviewed for accuracy and Dice believes it to correctly reflect the job opportunity.
- Dice Id: 10527831
- Position Id: 9108278
- Posted 1 day ago
Company Info
CogniSoft Technologies focuses on providing niche Business Intelligence & Data Analytic solutions to businesses across various industries. We are Tableau Alliance Partners. We are also an SAP certified Company.
We are a team of experienced, dedicated, hardworking, and innovative professionals who have had proven their expertise in different business verticals such as Banking and Financial Industry, Healthcare, Supply chain, Insurance, Software Development, IT consulting, Business consulting etc.
Create job alert
Never miss an opportunity! Create an alert based on the job you applied for.
Similar Jobs
It looks like there aren't any Similar Jobs for this job yet.
Search all similar jobs