Senior Formal Verification Engineer – ASIC/SoC

ManpowerGroup; Santa Clara (CA); On-site; USD 96,000 - 110,000; Full time

Benefits offered by this job

Medical and Prescription Drug Plans

Dental Plan

Vision Plan

Health Savings Account

Health Flexible Spending Account

Dependent Care Flexible Spending

401(k) with Match

Weekly Pay

Job summary

ManpowerGroup’s Experis division seeks a Formal Verification Engineer for ASIC/SoC verification efforts in Santa Clara, CA. The role supports the Verification Department, driving verification plans and sign-off across CPU/GPU projects.

The candidate should have 8+ years in formal verification, RTL verification, and ensure design correctness using industry-standard methodologies and tools. Onsite with limited remote consideration for exceptional candidates.

Qualifications

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

Responsibilities

• Participate in the functional verification of complex ASICs and IP cores for CPU/GPU development projects.
• Collaborate with design and verification teams to 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.

Skills

Formal verification

RTL verification

Validation

Property checking

Model checking

Debugging

Communication skills

Job description

ManpowerGroup’s Experis division seeks a Formal Verification Engineer for ASIC/SoC verification efforts in Santa Clara, CA. The role supports the Verification Department, driving verification plans and sign-off across CPU/GPU projects.

The candidate should have 8+ years in formal verification, RTL verification, and ensure design correctness using industry-standard methodologies and tools. Onsite with limited remote consideration for exceptional candidates.