Formal Verification Lead

Intel Corporation

Bangalore, India
Hybrid
Formal verification environments
Formal models and properties
Cpu components verification
Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors)

Job Summary

  • Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors).
  • Collaborate closely with cross-geographical design and architecture teams to understand specifications and identify verification needs.
  • Benchmark and develop new formal methodologies and tool flows to prove the correctness and reliability of complex digital circuits.

Matching Summary

Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors).

Skills & Requirements

Must-have

  • Formal verification environments
  • Formal models and properties
  • CPU components verification
  • Formal verification technologies
  • Digital circuits correctness

Nice-to-have

  • Fast learner
  • Detail oriented
  • Executional excellence
  • Innovative mindset
  • Out of the box ideas

Key Requirements

  • 8+ years of experience in formal verification
  • Master's degree in electrical engineering, Computer Science, or related field
  • Proficiency in formal verification tools (Jasper Gold, VC-Formal)
  • Experience with HDLs (Verilog, VHDL)
  • Experience with formal verification languages (SystemVerilog Assertions, PSL)

Work Rights

Not specified

Tailored Resume

Cover Letter