Formal Verification Engineer

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

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.

Job Title: 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

About ManpowerGroup, Parent Company of: Manpower, Experis and Talent Solutions.

Experis® is a global leader in technology services and part of the ManpowerGroup® (NYSE: MAN) family of brands. We connect skilled technology professionals with meaningful opportunities where they can grow their careers, expand their expertise and make a real impact. Guided by the belief that it takes Human Ingenuity to unlock the true potential of technology, Experis helps people gain experience with leading organizations, build sought-after skills and take the next step toward a brighter future. Backed by ManpowerGroup's 75+ years of workforce expertise and global reach across more than 70 countries and territories, Experis brings the scale, insight and opportunity to help people and businesses thrive. ManpowerGroup is consistently recognized for its commitment to inclusion, ethics and responsible business, including being named one of the World's Most Ethical Companies. Learn more at Experis.com.

ManpowerGroup is committed to providing equal employment opportunities in a professional, high quality work environment. It is the policy of ManpowerGroup and all of its subsidiaries to recruit, train, promote, transfer, pay and take all employment actions without regard to an employee's race, color, national origin, ancestry, sex, sexual orientation, gender identity, genetic information, religion, age, disability, protected veteran status, or any other basis protected by applicable law.