Student for Formal development

    • Haifa, Israel

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


In process of BSc / MSc in Computer Science or Mathematics and strong background in both

Inside this Business Group
The Client Computing Group is responsible for all aspects of the client computing business across Phone, Phablet, Tablet and PC platforms, leading Intel's efforts to transform client computing through technologies, new form factors, and driving Intel's corporate-wide user experience initiatives. This spans all client device brands including hardware, software and connectivity ingredients for phones, tablets, Ultrabook™, All-in-Ones, 2 in 1 computing devices, and home gateways.

IL Intern JR0124018 Haifa

Back to top