Эта вакансия пока только на английском.

← Назад к вакансиям
M

Staff Formal Verification Engineer

Medulla·Ra'anana, Израиль·en
ГибридПолная занятостьHardware EngineeringSemiconductor ManufacturingComputer Hardware Manufacturing

Join a skilled hardware team developing next-generation silicon for AI/ML applications. Own formal verification across complex IP blocks and influence verification methodologies and environments.

Обязанности

  • Own formal verification across complex IP blocks
  • Build and evolve verification environments and methodologies
  • Apply Cadence JasperGold to formal verification activities
  • Collaborate with design, verification, and architecture teams globally

Требования

  • Bachelor’s degree in electrical engineering, computer engineering, computer science, mathematics, or a related field
  • At least 7 years of hands-on formal verification experience
  • Strong hands-on experience with Cadence JasperGold
  • Experience with property checking, connectivity, equivalence checking, X-propagation, coverage, and bug hunting
  • Strong system-level thinking and debugging skills

Будет плюсом

  • Experience with SystemVerilog or Verilog
  • Background in logic design or hardware architecture
  • GPU or processor experience

Условия и преимущества

  • Hybrid work arrangement: two days in the office and three days from home
  • Significant technical ownership and influence
  • Work on advanced silicon and AI/ML-related hardware challenges

Соответствие

Больше возможностей

Похожие вакансии

Новые вакансии в категории «Hardware Engineering».

Создайте профиль, чтобы увидеть оценку соответствия.

Создайте профиль, чтобы увидеть оценку соответствия.

Создайте профиль, чтобы увидеть оценку соответствия.

Создайте профиль, чтобы увидеть оценку соответствия.