Formal Verification Engineer

2 weeks ago

Haifa, Haifa, Israel Intel Corporation Full time ₪104,000 - ₪130,878 per year

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.

  • Formal Verification Engineer, Networking, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time $150,000 - $200,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.4 years of experience working in main interconnects, Direct Memory Access (DMA),...

  • Senior Design Verification Engineer, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time $125,000 - $175,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering or equivalent practical experience.8 years of experience with creating and using verification components and environments in standard...

  • Experienced Verification Design Engineer

    1 week ago

    Haifa, Haifa, Israel Intel Corporation Full time ₪70,000 - ₪120,000 per year

    Job Details:Job Description:About our organization – P-Core Group:We are designing the future of computeWe develop Intel's main and most valuable & complex IP – the CORE. It is the central part of many Intel's products: Desktops, Notebooks, Servers, Cloud CPUs and more. Our CORE is in the heart of hundreds of millions of products being sold every year,...

  • SoC Design Verification Technical Lead, Cloud

    2 weeks ago

    Haifa, Haifa, Israel Google Full time ₪90,000 - ₪120,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.10 years of experience in managing Design Verification (DV) team.Experience with...

  • Formal Verification student

    1 week ago

    Haifa, Haifa, Israel Apple Full time ₪90,000 - ₪120,000 per year

    Ready for an intellectual challenge that combines Mathematics and CS theory in the context of hardware development? Keep reading. In this role you will be responsible for developing mathematical proofs using model checking tools, to find RTL(Verilog) bugs or prove their absence Not in the Formal domain? No worries, we offer thorough training to learn the...

  • CPU Design Verification Engineer, PhD University Graduate, 2025 Start

    2 weeks ago

    Haifa, Haifa, Israel Google Full time $125,000 - $175,000 per year

    Note: By applying to this position you will have an opportunity to share your preferred working location from the following:Tel Aviv, Israel; Haifa, Israel.Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.Experience creating and using...

  • Intern - Software Engineering

    2 weeks ago

    Haifa, Haifa, Israel Cadence Full time $60,000 - $80,000 per year

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.Our team develops world leading verification solutions used by top tier hardware design and consumer electronics companies. Our best-in-class formal analysis technology, hardware analysis and visualization framework allow us to deploy multiple apps...

  • Verification Engineer

    2 weeks ago

    Haifa, Haifa, Israel Amazon Full time ₪104,000 - ₪130,878 per year

    AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry. As a member of the UC organization, you'll support the development...

  • Verification Engineer

    2 weeks ago

    Haifa, Haifa, Israel Amazon Web Services (AWS) Full time ₪104,000 - ₪130,878 per year

    DescriptionAWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry. As a member of the UC organization, you'll support the...

  • Verification Engineer

    7 days ago

    Haifa, Haifa, Israel myGwork - LGBTQ+ Business Community Full time ₪70,000 - ₪120,000 per year

    This job is with Amazon, an inclusive employer and a member of myGwork – the largest global platform for the LGBTQ+ business community. Please do not contact the recruiter directly.DescriptionAWS Utility Computing (UC) provides product innovations - from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud...