hero image

Welcome to LHH Israel Network

On this board you can review our network of companies that will assist you finding new job opportunities. This board automatically pulls the jobs from their career sites.
Found a suitable job? Send us the job link including your resume to: jobs@lhh.co.il and we will make sure it reaches the right person in the organization.
Please do not apply on this platform.

Formal Verification Engineer

Intel Corporation

Intel Corporation

Software Engineering
Haifa, Israel · Petah Tikva, Israel
Posted on Sep 5, 2025

Job Details:

Job Description:

Who are we?

An excellent opportunity for a creative and motivated experienced engineer to be part of Intel's P-Core (Performance Core) Group, doing exciting work in the development of next generation P-Core CPU in both Server and Client products. Intel's P-Core group is one of the most important domains with a large impact on Intel's CPU products and corporate profits. Core technology is highly evolving with a huge number of technologies being developed. Intel's core group is in charge of developing the core of Intel's next generation of CPUs, taking part in all design phases from initial definitions and studies till mass production. The group makes use of state of the art VLSI design tools and C/C++ firmware tools while meeting very challenging timelines, quality, low power, code area and compute performance constraints. The candidate who will join Intel's Core group to work on pioneering projects, in all Intel's P-cores Center of Excellence aimed at optimizing Intel's core performance using cutting-edge power-management firmware.

About the Job:

The team is ACE Formal Verification Center of Expertise. The charter of the team is to develop FV tools, flows and methodologies for the use of all core teams in Intel. The team is responsible to support the ACE FV community on all project. Last but not least, team members participate extensively in the projects formal verification execution.

Qualifications:

  • B.Sc. or M.Sc. in Computer Science or Electrical Engineering.
  • At least eight years experience in formal verification application in chip design and/or formal verification related CAD development.
  • Ability to learn new material fast and translate knowledge into task execution.
  • Good communication skills and good ability to learn complex design specification from various sources written or verbal.
  • Pasion for questions asking and urge to apply all available tools to answers these questions.
  • Ability to focus on hard problems and invest what it takes to moving forward towards solving these problems.

Job Type:

Experienced Hire

Shift:

Shift 1 (Israel)

Primary Location:

Israel, Haifa

Additional Locations:

Israel, Petah-Tikva

Business group:

The Client Computing Group (CCG) is responsible for driving business strategy and product development for Intel's PC products and platforms, spanning form factors such as notebooks, desktops, 2 in 1s, all in ones. Working with our partners across the industry, we intend to deliver purposeful computing experiences that unlock people's potential - allowing each person use our products to focus, create and connect in ways that matter most to them.

Posting Statement:

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Position of Trust

N/A

Work Model for this Role

This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.