Intel Formal Verification Engineer 

Israel, Haifa District, Haifa 

722777216

In this role, you will be required to acquire deep architectural and micro-architectural understanding of high complexity hardware design blocks, interacting with architecture and design teams. You will also conduct verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. In addition to creating comprehensive formal verification test and coverage plans including definition of formal verification scope, strategy, and techniques.You will have to master state of the art Formal Verification techniques and develop verification collaterals in System Verilog. You will be part of a team working to deploy new techniques in the large development team and working closely with the tool and technology developers for problem solving.

Qualifications

• At least 1 year of experience in Formal Verification.
• B.Sc. or M.Sc. in Computer Science or Electrical/Computer Engineering.
• Familiar with frontend RTL design, Verilog and debug tools - advantage.
• Analytical and debugging skills, and creative in problem solving.
• Team player, passionate, energetic, motivated, and self-driven.
• Ability to work independently.
• 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.
• Ability to focus on hard problems and invest what it takes to moving forward towards solving these problems.

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits