Apply

Ready to go for it?

AI Apply speeds things up—apply directly if you prefer.

FREE ACCESS
5,000–10,000 jobs/day
Scoutfield Logo

See all jobs on Scoutfield

Search thousands of fresh jobs every day.

Discover
  • Fresh listings
  • Fast filters
  • No subscription required
Create a free account and start exploring right away.
Intel Corporation

Formal Verification Engineer

Intel Corporation

. Verify microarchitecture using industry-standard Formal Verification tools and technologies based on model-checking and equivalence-checking algorithms .

Posted 10/6/2026full-timeHaifa • IsraelMid-LevelSeniorWebsite

Core Competencies

Role fit
Core Competencies

Use this summary to align your resume positioning with the role.

Demonstrates expertise in Formal Verification, utilizing advanced techniques and tools to ensure design correctness and quality. Proficient in developing comprehensive test plans and collaborating with vendors to address complex design challenges.

Highest-signal resume keywords
Formal VerificationJasperSVAPerlPython

ATS Keywords

Tailor your resume
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills
Formal VerificationModel-CheckingEquivalence-CheckingAbstraction TechniquesTest Plan DevelopmentDesign ConvergenceAlgorithm AnalysisTool EvaluationROI ArticulationComplex Design Tracking
Tools & Technologies
Jasper AppsGHCPAI Tools

Tech Stack

Tools & technologies
PerlPython

About the role

Key responsibilities & impact
  • Verify microarchitecture using industry-standard Formal Verification tools and technologies based on model-checking and equivalence-checking algorithms
  • Define Formal Verification scope and deploy strategies to prove design correctness
  • Deploy advanced formal techniques and create abstraction models for design convergence
  • Define design boundaries and create comprehensive Formal Verification test plans
  • Track, verify, apply abstraction techniques, and converge on complex designs
  • Deliver high-quality designs on schedule and articulate ROI
  • Analyze new methodologies, evaluate new tools, and corroborate results
  • Work with vendors to resolve difficult design and tool problems

Requirements

What you’ll need
  • 3+ years of experience in Formal Verification
  • Experience with Jasper, SVA, and Jasper Apps (connectivity, coverage)
  • Experience with Perl/Python
  • Experience with GHCP and AI tools
  • Requirements may be obtained through a combination of industry relevant job experience, internship experiences, and/or schoolwork/classes/research