Formal Verification Engineer

Overview

On Site
Depends on Experience
Accepts corp to corp applications
Contract - Independent
Contract - W2
Contract - 12 Month(s)
No Travel Required

Skills

Verification
Verilog
black-boxing
FPV
DPV
AEP
SEQ

Job Details

About the Role
We are seeking an experienced Formal Verification Engineer with strong expertise in FPV, DPV, AEP & SEQ setups and SystemVerilog Assertions to join our dynamic verification team. This role offers the opportunity to work on complex verification environments and contribute directly to ensuring design correctness and product quality.

Location: San Jose or Austin TX

Key Responsibilities

  • Develop and maintain formal verification setups using SystemVerilog modules and assertions.

  • Execute formal verification checks, analyze results, and debug issues effectively.

  • Enhance and refine constraints, checks, and cover points to achieve thorough verification quality.

  • Apply and optimize formal convergence techniques such as abstraction, black-boxing, and design reductions.

  • Collaborate with design and functional verification teams to integrate formal methods into the verification flow.

  • Document methodologies, verification strategies, and results for internal reviews and knowledge sharing.

Mandatory Requirements

  • Experience: 3 10 years (preferably post-graduation) in formal verification.

  • Proven hands-on expertise in FPV, DPV, AEP & SEQ setups.

  • Strong proficiency with SystemVerilog Assertions (SVA).

  • Practical experience with formal convergence techniques (abstraction, black-boxing, reductions).

  • Ability to debug complex verification issues and provide actionable solutions.

  • Excellent analytical and problem-solving skills with strong attention to detail.

Preferred Qualifications

  • Exposure to leading EDA formal tools (e.g., JasperGold, VC Formal, Questa Formal).

  • Familiarity with low-power design verification and advanced verification methodologies.

  • Strong communication skills and ability to work in cross-functional teams.

Why Join Us

  • Work on high-impact projects in cutting-edge domains.

  • Collaborate with top engineering talent in San Jose and Austin.

  • Opportunity for career growth in a fast-paced, technology-driven environment.

If you are passionate about formal verification and can join immediately, we d love to hear from you.

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.