Formal verification

Job Description
If you are passionate about innovation and interested in the logic domain - join our team and be part of the new development and deployment of a leading industry solution for Formal Verification in Intel CPU designs.

In your work 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 have to master state of the art Formal Verification techniques and develop verification collateral's 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
BSc / MSc in Computer Science, Electrical Engineering or Mathematics .
Three years of experience in logic verification and/or design.

Inside this Business Group
The Silicon Engineering Group is a worldwide organization focused on the development and integration of SOCs, Cores, and critical IPs that power Intel's leadership products. This business group leverages an incomparable mix of experts with different backgrounds, cultures, perspectives, and experiences to unleash the most innovative, amazing, and exciting computing experiences.

IL JR0124222 Haifa


Back to top