Formal Verification Engineer

About the role

Intel's Networking team, which delivers Ethernet products and is central to Intel's shift toward cloud and connected computing, is hiring a Formal Verification Engineer in Haifa. The role verifies microarchitectures using industry-standard formal verification tools, based on model checking and equivalence checking algorithms, and works with world-class design IPs.

Key responsibilities

• Use hardware architecture design and RTL implementation details to define the formal verification scope and strategy, proving correctness with advanced formal techniques.
• Create abstraction models and carve out design boundaries, then build comprehensive formal verification test plans.
• Track, verify and apply abstraction techniques to converge on complex designs and deliver high-quality designs on schedule, articulating the ROI.
• Analyze new methodologies, evaluate new tools and corroborate results, and work with vendors to resolve difficult design and tool problems.

Required profile

• At least 3 years of experience in formal verification.
• Preferred: experience with Jasper, SVA and Jasper Apps (connectivity, coverage).
• Preferred: experience with Perl/Python.
• Preferred: experience with GHCP and AI tools.
• Qualifications can come from industry experience, internships or schoolwork, classes and research.

The position requires an on-site presence in Israel (Haifa, with additional locations in Jerusalem and Petah-Tikva mentioned).