✦ Luna Orbit — System Administration

Senior Formal Verification Engineer - AI SoC Development

at Intel

📍 4 Locations Hybrid 💰 $220K – $311K USD / year Posted March 13, 2026
Apply Now → ← Browse All Jobs

Position Details

Salary $220K – $311K USD / year
Type Not Specified
Experience senior
Exp. Years 7+ years
Education Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science
Category System Administration

About this role

This role involves leading formal verification efforts for complex ASIC and SoC designs, utilizing advanced formal methods, tools, and scripting to ensure functional correctness and coverage closure.

Key Responsibilities

  • Own formal verification strategy
  • Develop verification environments
  • Write formal properties
  • Collaborate with design teams
  • Drive coverage closure

Technical Overview

The position requires expertise in formal verification methodologies, tools like JasperGold, UVM, and scripting languages, supporting pre-silicon validation and debug processes.

Ideal Candidate

The ideal candidate is a senior formal verification engineer with over 10 years of ASIC/SoC verification experience, proficient in formal methods, verification tools like JasperGold, and scripting skills, capable of leading complex verification projects.

Must-Have Skills

Bachelor's degree in Electrical EngineeringComputer Engineeringor Computer Science10+ years of ASIC/SoC verification3+ years focused on formal verificationExperience with formal verification tools (e.g.JasperGoldVC FormalQuesta Formal)

Nice-to-Have Skills

UVM-based simulationDigital design conceptsClock domain crossingsLow-power design techniquesScripting skills (PythonTCLPerl)

Tools & Platforms

JasperGoldVC FormalQuesta FormalSystemVerilog AssertionsUVMSimulation tools

Required Skills

Formal verificationSystemVerilog AssertionsASIC verificationSoC verificationCoverage analysisEmulationSystem simulationUVMPythonTCLPerlDebuggingPre-silicon validation

Hard Skills

Formal verificationSystemVerilog AssertionsASIC verificationSoC verificationVerification environmentsCoverage analysisEmulationSystem simulationUVMPythonTCLPerlDebuggingPre-silicon validation

Soft Skills

LeadershipCollaborationProblem-solvingCommunicationAttention to detail

Industry & Role

Industry Semiconductor / ASIC Verification
Job Function Formal verification of ASIC/SoC designs using advanced methodologies and tools

Keywords for Your Resume

Formal verificationSystemVerilog AssertionsASIC verificationSoC verificationCoverage analysisEmulationSystem simulationUVMPythonTCLPerlDebuggingPre-silicon validationJasperGoldVC FormalQuesta FormalFormal verification toolsASIC/SoC verificationFormal sign-offCoverage closure

Deal Breakers

Less than 7 years of verification experience, No experience with formal verification tools like JasperGold or VC Formal, Lack of scripting skills (Python, TCL, Perl), No relevant degree

Apply for this Position →

Get matched to jobs like this

Luna finds roles that fit your skills and career goals — no endless scrolling required.

Create a Free Profile