Formal Verification Engineer

1 week ago

Haifa, Haifa, Israel Intel Corporation Full time

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.

  • Senior Formal Verification Engineer, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time

    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.8 years of experience working in main interconnects, Direct Memory Access (DMA),...

  • Senior Formal Verification Engineer, Cloud

    7 days ago

    Haifa, Haifa, Israel Google Full time

    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.8 years of experience working in main interconnects, Direct Memory Access (DMA),...

  • ASIC Formal Verification Staff Engineer

    7 days ago

    Haifa, Haifa, Israel Qualcomm Full time

    Company:Qualcomm Israel Ltd.Job Area:Engineering Group, Engineering Group > Modem TechnologiesGeneral Summary:We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge RISC‑V application processor. The role involves ownership of formal methodologies, verification strategy definition, and close...

  • Formal Verification Student

    2 weeks ago

    Haifa, Haifa, Israel Intel Corporation Full time

    Job Details:Job Description: We are designing the future of compute.We develop Intel's primary, most valuable, and complex IP - the Core. The Core 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, and is driving the internet,...

  • Formal Verification Engineer

    2 days ago

    Haifa, Haifa, Israel Amazon Full time

    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...

  • Senior Design Verification Engineer, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time

    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

    Job DetailsJob Description:About Our Organization – P-Core GroupWe 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, and...

  • SoC Design Verification Technical Lead, Cloud

    1 week ago

    Haifa, Haifa, Israel Google Full time

    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

    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 absenceNot in the Formal domain? No worries, we offer thorough training to learn the...

  • Design Verification Engineer, Networking, Cloud

    3 days ago

    Haifa, Haifa, Israel Google Full time

    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.4 years of experience working with design networking like remote direct memory access (RDMA) or packet...