Formal Verification Engineer

Experis Austria; Santa Clara (CA); Hybrid; USD 70,000 - 80,000; Full time

Benefits offered by this job

Medical plan

Dental plan

Vision plan

HSA

Weekly pay

Job summary

Experis Austria is seeking a Formal Verification Engineer to join the Verification Department in Santa Clara, CA. You will support ASIC and SoC verification efforts and collaborate across design and verification teams to ensure correct functionality within the system context.

The role requires extensive experience in formal verification and RTL verification, with hands-on tools usage and a strong problem-solving mindset.

Qualifications

• 8+ years of proven experience in formal verification and RTL verification.
• Strong knowledge of formal verification methodologies and model checking.
• Hands-on experience with formal verification tools and verification infrastructure.

Responsibilities

• Participate in functional verification of complex ASICs and IP cores.
• Collaborate with design and verification teams to validate design functionality.
• Develop, execute, and document formal verification plans and tests.
• Utilize industry-standard verification methodologies to ensure design correctness.
• Drive verification activities from planning through signoff and defect resolution.

Skills

Formal verification

RTL verification

Model checking

Debugging skills

Communication

Job description

Our client in the semiconductor industry, is seeking a Formal Verification Engineer to join their team. As a Formal Verification Engineer, you will be part of the Verification Department supporting ASIC and SoC verification efforts. The ideal candidate will demonstrate strong technical expertise, problem-solving skills, and a collaborative mindset, which will align successfully within the organization.

Formal Verification Engineer

Location: Onsite in Santa Clara, CA /100% remote is available only for a strong candidate.

Pay Range: $70 to $80 on W2

What's the Job?

• Participate in the functional verification of complex ASICs and IP cores for CPU/GPU development projects.
• Collaborate with design and verification teams to understand and verify design functionality within the system context.
• Develop, execute, and document formal verification plans, including directed and constrained-random tests.
• Utilize industry-standard verification methodologies and tools to ensure design correctness.
• Drive verification activities from planning through signoff, ensuring thorough coverage and defect resolution.

What's Needed?

• 8+ years of proven experience in formal verification, RTL verification, and validation.
• Strong knowledge of formal verification methodologies, property checking, and model checking tools.
• Hands-on experience with formal verification tools and verification infrastructure.
• Solid understanding of ASIC or SoC verification environments and architectures.
• Excellent debugging, problem-solving, and communication skills.

What's in it for me?

• Opportunity to work on cutting-edge ASIC and SoC verification projects.
• Collaborate with a talented and innovative team in a dynamic environment.
• Contribute to the development of high-performance semiconductor products.
• Engage in professional growth and skill development within a supportive organization.
• Work in a location that fosters innovation and technical excellence.

Upon Completion Of Waiting Period Consultants Are Eligible For

• Medical and Prescription Drug Plans
• Dental Plan
• Vision Plan
• Health Savings Account
• Health Flexible Spending Account
• Dependent Care Flexible Spending Account
• Supplemental Life Insurance
• Short Term and Long Term Disability Insurance
• Business Travel Insurance
• 401(k), Plus Match
• Weekly Pay