המשרה הזו זמינה כרגע באנגלית.

חזרה למשרות
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.

צור פרופיל כדי לראות את מידת ההתאמה שלך.

צור פרופיל כדי לראות את מידת ההתאמה שלך.

צור פרופיל כדי לראות את מידת ההתאמה שלך.