Senior Formal Verification Engineer – Remote (ASIC/SoC)

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

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.