Sign up to access all features of our service.
  • Job search
  • Favorites
  • Create a CV
    New
  • Salaries
  • Subscriptions

Formal Verification Engineer

Full-time

Experis

Salary: $145,600 - 166,400 per year Requirements:

  • At least 8 years of 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
Responsibilities:
  • Participate in functional verification of complex ASICs and IP cores for CPU and GPU development projects
  • Collaborate with design and verification teams to understand and verify design functionality in the system context
  • Develop, execute, and document formal verification plans, including directed and constrained-random tests
  • Use industry-standard verification methodologies and tools to assess design correctness
  • Lead verification activities from planning through signoff, ensuring comprehensive coverage and defect resolution
Technologies:
  • Hardware

More:

We are recruiting a Formal Verification Engineer for a client in the semiconductor industry. The role is part of the Verification Department and supports ASIC and SoC verification efforts. It is based onsite in Santa Clara, California, with 100% remote work available for a strong candidate. The pay range is $70–$80 per hour on W-2. We offer the opportunity to work on advanced ASIC and SoC projects, collaborate with an innovative team, contribute to high-performance semiconductor products, and develop professionally in a supportive environment. After the waiting period, consultants are eligible for medical and prescription drug, dental, and vision plans; health savings, health flexible spending, and dependent care flexible spending accounts; supplemental life insurance; short- and long-term disability insurance; business travel insurance; a 401(k) with match; and weekly pay. Experis, part of ManpowerGroup, connects technology professionals with career opportunities and brings workforce expertise and a global presence across more than 70 countries and territories.

last updated 42 week of 2026

Vacancy posted more than 2 months ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!