Formal Verification Engineer

AI in this role

Formal Verification Engineer responsible for microarchitecture verification of networking products using standard tools and some AI tools.

jaspersvaperlpython

formal-verificationmodel-checkingequivalence-checkingrtlhardware-architecture

Job Details:

Job Description:

About us:
Intel Networking team delivers best in-class Ethernet products and is at the heart of Intel's transformation from a PC company to a company that powers the cloud and billions of smart, connected computing-devices.

We are a team of problem solvers, experimenters, and innovators who are dedicated to designing the network technologies that currently lead and continue to transform datacenter ecosystems.

As a world-class organization, we're looking for outstanding talent to accelerate our growth during an exciting time in Ethernet networking marketing technology. If you're ready to be a part of this journey, then we want to hear from you.

Job Description: Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs. Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design, Carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI. analyze new methodologies, evaluates new tools and corroborate results.

May work with vendors on resolving hard design and tool problems.

Qualifications:

Minimum Qualifications:
3+ years of experience in Formal Verification

Preferred Qualifications:
Experience with Jasper, SVA, Jasper Apps (connectivity, coverage)
Experience with Perl/Python
Experience with GHCP and AI tools

Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.

Job Type:

Experienced Hire

Shift:

Shift 1 (Israel)

Primary Location:

Israel, Haifa

Additional Locations:

Israel, Jerusalem, Israel, Petah-Tikva

Posting Statement:

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Position of Trust

N/A

Work Model for this Role

This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.

How we rate this

Formal Verification Engineer at Intel rates 40 out of 100 for how much of the daily work is AI. That makes it Uses AI (AI Level 2 of 4). The level is about AI in the job, not seniority.

Classification

Uses AI. An ordinary role that requires AI tools.

●●●● Builds AI80 to 100
●●●○ Works on AI60 to 79
●●○○ Uses AI40 to 59
●○○○ Little AI0 to 39

Levels come from how often the tools, models and workflows of the role are named in the posting itself. Open the description and count.

Key facts

Formal Verification Engineer is an open job at Intel.
Level rates this role AI Level 2 of 4: Uses AI.
The role is based in Israel, Haifa.
The job was posted on October 6, 2026.
Seniority: senior.
Applications are handled by Intel. Apply on Intel

Prepare for this job

A free preview built only from this posting: what it asks for, what you could be asked in an interview, and how to adjust your resume.

Skills and AI tools this role asks for

Formal VerificationModel CheckingEquivalence CheckingRtlHardware ArchitectureJasperSvaPerl

Questions you could be asked

Tell me about a project where formal verification was part of your work. What did you do?
Tell me about a project where model checking was part of your work. What did you do?
Tell me about a project where equivalence checking was part of your work. What did you do?
Tell me about a project where rtl was part of your work. What did you do?
Tell me about a project where hardware architecture was part of your work. What did you do?

Adapt your resume

List these exact terms on your resume: Formal Verification, Model Checking, Equivalence Checking, Rtl, and Hardware Architecture. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them — a tool named with nothing behind it rarely survives a human read.
Put the AI tool in a bullet point about what you did, not just in a skills list — this role treats it as a required part of the job.

Want an expert to read your CV for this job?

Free. Send your CV and the role you want next. We reply by email within 2 to 4 business days.

Get a free CV review

Get new AI jobs (Uses AI ●●○○ or higher) by email

One email a week with the new AI jobs (Uses AI ●●○○ or higher), each rated for how much AI is in the work. No recruiter spam, unsubscribe in one click.

Also alert me for new jobs at Intel

Free. One email a week. Unsubscribe in one click.