Formal Verification Engineer

Inteelabs

Haifa, Israel
**
Formal verification techniques
System verilog development
Deep hardware design understanding
** Inteelabs is seeking a Formal Verification Engineer to join their team in Haifa or Petah-Tikva, Israel, focusing on the formal verification of Intel CPU designs. The ideal candidate will possess a strong understanding of hardware design and verification techniques, with an emphasis on collaboration and problem-solving skills. **

Job Summary

  • You will join a winning team of engineering excellence focused on developing Intel's future CPU product lines.
  • The role requires mastering state of the art Formal Verification techniques and working closely with tool and technology developers.
  • The Silicon Engineering Group leverages diverse experts to create innovative computing experiences powering Intel’s leadership products.

Matching Summary

Match Score: 75

** Inteelabs is seeking a Formal Verification Engineer to join their team in Haifa or Petah-Tikva, Israel, focusing on the formal verification of Intel CPU designs. The ideal candidate will possess a strong understanding of hardware design and verification techniques, with an emphasis on collaboration and problem-solving skills. **

Skills & Requirements

Must-have

  • Formal Verification techniques
  • System Verilog development
  • Deep hardware design understanding
  • Collaboration with architecture teams
  • Debugging and analytical skills

Nice-to-have

  • Passionate and self-driven team player
  • Creative problem solving
  • Experience with frontend RTL design
  • Familiarity with Verilog and debug tools

Key Requirements

  • B.Sc. or M.Sc. in Computer Science or Electrical/Computer Engineering
  • Ability to work independently
  • College graduate
  • Shift 1 (Israel) availability

Work Rights

Not specified

Tailored Resume

Cover Letter