Fvcto - Formal Verification Specialist

Intel Retiree Medical Plan Trust

Bangalore, India
Not specified; not specified; not specified
Bachelor's degree in electrical engineering or related field
8 years relevant experience in formal verification
Proficiency in system verilog or vhdl
The role involves verifying microarchitecture and designing IPs for world-class Xeon server SOCs using advanced formal verification techniques

Job Summary

  • The role involves verifying microarchitecture and designing IPs for world-class Xeon server SOCs using advanced formal verification techniques.
  • Candidates will define verification scope, create abstraction models, and collaborate with vendors to resolve complex design issues.
  • This position requires a motivated self-directed professional capable of articulating ROI and delivering high-quality designs on schedule.

Matching Summary

The role involves verifying microarchitecture and designing IPs for world-class Xeon server SOCs using advanced formal verification techniques.

Salary

Not specified; Not specified; Not specified

Skills & Requirements

Must-have

  • Bachelor's degree in Electrical Engineering or related field
  • 8 years relevant experience in formal verification
  • Proficiency in System Verilog or VHDL
  • Experience with SVA assertion languages
  • Knowledge of model checking and equivalence checking

Nice-to-have

  • Strong problem solving and debugging skills
  • Ability to work cross-site and independently
  • Excellent verbal and written communication skills
  • Research experience in formal verification domain
  • Willingness to evaluate new tools and methodologies

Key Requirements

  • Bachelor's degree with 8 years experience OR Master's with 7 years OR PhD with 3 years
  • Minimum 8 years of relevant experience in formal verification
  • Degree in Electrical Engineering, Computer Engineering, or Computer Science

Work Rights

Not specified

Tailored Resume

Cover Letter