About the role

  • Formal Verification Engineer designing and verifying complex IPs for Ethernet products at Intel. Utilizing advanced verification tools and methodologies for project success.

Responsibilities

  • Utilize industry-standard Formal Verification tools and technologies
  • Define the scope of Formal Verification for assigned projects
  • Develop and implement effective strategies to ensure design correctness
  • Apply advanced formal techniques and create abstraction models
  • Establish appropriate verification boundaries and test plans

Requirements

  • Bachelor’s in Electrical/Computer Engineering or Computer Science
  • Jasper, SVA, Jasper Apps (connectivity, coverage) experience
  • Familiarity with GHCP and AI tools
  • HW design/verification background

Benefits

  • Health insurance
  • Flexible work arrangements
  • Professional development

Job title

Formal Verification Engineer

Job type

Experience level

Mid levelSenior

Salary

Not specified

Degree requirement

Bachelor's Degree

Location requirements

Report this job

See something inaccurate? Let us know and we'll update the listing.

Report job