Expert Formal Verification Engineer for Arithmetic HW
- Haifa, Israel
o Intel Architecture Core design team in Israel is seeking for an expert in hardware Formal Verification (FV). Our team is the industry lead in the domain of arithmetic-datapath FV and our CPU products are the base of most of the client and server computing worldwide.
o In this role you are expected to deep learn Intel FV tools, methodology and relevant micro-architecture of top complexity arithmetic floating point hardware algorithms. You will own the FV development and maintenance for some our arithmetic designs to deliver quality signoff.
o You will work closely with architecture and design team, influence and challenge implementation decisions and contribute to uncompromising design quality. In parallel, you will work closely with tool - technology R&D and expected to strongly contribute from your experience to the efficient deployment of new FV tools.
o Software programming skills and experience, knowledge of a functional language and assertion language would be of a great advantage
o You are expected to be independent but also team player to the other expert and junior team engineers. You should be able to work in a stressed-dynamic project environment, multi-cultural, multi time zone, creative, with the ability to innovate new solutions and demonstrate uncompromised quality during your work.
10+ years' industry experience in the domain of formal verification or use of formal methods, preferably in the hardware domain.
Alternatively, PhD with research in the formal domain and practical expertise in hardware and software development.
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 Experienced Hire JR0140747 Haifa
Back to top