עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
מלאה
35,000-60,000 ₪
We are now looking for a Principal Formal Verification Engineer to join our our company Networking team!
As a Principal Formal Verification Engineer in our companys Networking Business Unit, you will play a critical role in shaping the formal strategy and execution of complex, high-performance silicon designs that power data centers, AI infrastructure, networking, and storage systems. This is a senior technical leadership role, requiring deep hands-on experience and a strong execution mindset.
You will join a passionate and expert team responsible for applying formal methods to validate designs at the highest level of rigor. This role offers the opportunity to work at the cutting edge of formal verification, influence architecture, and collaborate across functions to drive best-in-class silicon quality.
What Youll Be Doing:
Define and execute advanced formal verification strategies for complex digital blocks and systems.
Lead formal activities across multiple projects, ensuring scalability, completeness, and convergence .
Guide the development of formal testbenches, properties, assertions, and coverage models.
Collaborate with architects, RTL designers, and DV teams to identify formal targets and maximize design verification efficiency.
Provide technical leadership and mentoring to other formal engineers and contribute to the growth of formal expertise within the organization.
Evaluate and deploy state-of-the-art formal tools, flows, and methodologies to continuously improve formal verification coverage and impact.
As a Principal Formal Verification Engineer in our companys Networking Business Unit, you will play a critical role in shaping the formal strategy and execution of complex, high-performance silicon designs that power data centers, AI infrastructure, networking, and storage systems. This is a senior technical leadership role, requiring deep hands-on experience and a strong execution mindset.
You will join a passionate and expert team responsible for applying formal methods to validate designs at the highest level of rigor. This role offers the opportunity to work at the cutting edge of formal verification, influence architecture, and collaborate across functions to drive best-in-class silicon quality.
What Youll Be Doing:
Define and execute advanced formal verification strategies for complex digital blocks and systems.
Lead formal activities across multiple projects, ensuring scalability, completeness, and convergence .
Guide the development of formal testbenches, properties, assertions, and coverage models.
Collaborate with architects, RTL designers, and DV teams to identify formal targets and maximize design verification efficiency.
Provide technical leadership and mentoring to other formal engineers and contribute to the growth of formal expertise within the organization.
Evaluate and deploy state-of-the-art formal tools, flows, and methodologies to continuously improve formal verification coverage and impact.
Requirements:
BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics.
15+ years of hands-on experience in Formal Verification within the semiconductor industry.
Proven track record of formal verification execution
Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies.
Strong analytical, debugging, and problem-solving skills.
Excellent communication and collaboration skills.
Ways to Stand Out from the Crowd:
A true passion for formal verification, with a desire to innovate and elevate the practice within a mature and advanced formal verification environment.
A visionary mindset, eager to push the boundaries of formal adoption and impact across architecture, design, and methodology.
Strong desire to influence product development by using formal insights to drive architectural and design decisions.
Proven ability to work collaboratively in a team-oriented culture while bringing thought leadership to the formal domain.
BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics.
15+ years of hands-on experience in Formal Verification within the semiconductor industry.
Proven track record of formal verification execution
Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies.
Strong analytical, debugging, and problem-solving skills.
Excellent communication and collaboration skills.
Ways to Stand Out from the Crowd:
A true passion for formal verification, with a desire to innovate and elevate the practice within a mature and advanced formal verification environment.
A visionary mindset, eager to push the boundaries of formal adoption and impact across architecture, design, and methodology.
Strong desire to influence product development by using formal insights to drive architectural and design decisions.
Proven ability to work collaboratively in a team-oriented culture while bringing thought leadership to the formal domain.
This position is open to all candidates.
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
משרות נוספות מומלצות עבורך
-
Senior Formal Verification Engineer, Google Cloud
-
חיפה
Google
-
-
Senior Formal Verification Engineer, Networking, Google Cloud
-
תל אביב - יפו
Google
-
-
Senior Formal Verification Engineer, Google Cloud
-
תל אביב - יפו
Google
-
-
Senior Formal Verification Engineer, Networking, Google Cloud
-
חיפה
Google
-
-
Senior Formal Verification Engineer, Networking, Google Cloud
-
חיפה
Google
-
-
Senior Formal Verification Engineer, Google Cloud
-
חיפה
Google
-
