עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
25,000-35,000 ₪
We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units.
Requirements:
We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units. Responsibilities:
Understand high-level specifications and detailed requirements for application processor design logical units.
Collaborate with cross functional teams such as architecture, design, and software teams on formal verification planning.
Formal Verification expert to lead all formal activities for a new RISC-V application processor. Required Skills and Experience:
BSc. in Electrical and/or Computer Engineering
At least 6 years of experience with RTL ASIC verification, specializing in Formal verification.
Knowledge and experience in one of the following: CPU, RISC-V architecture, micro-controllers, memory and cache controllers is an advantage.
Experience with Verilog, system Verilog, SVA.
Able to express complex concepts in fluent technical English.
We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units. Responsibilities:
Understand high-level specifications and detailed requirements for application processor design logical units.
Collaborate with cross functional teams such as architecture, design, and software teams on formal verification planning.
Formal Verification expert to lead all formal activities for a new RISC-V application processor. Required Skills and Experience:
BSc. in Electrical and/or Computer Engineering
At least 6 years of experience with RTL ASIC verification, specializing in Formal verification.
Knowledge and experience in one of the following: CPU, RISC-V architecture, micro-controllers, memory and cache controllers is an advantage.
Experience with Verilog, system Verilog, SVA.
Able to express complex concepts in fluent technical English.
This position is open to all candidates.
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
משרות נוספות מומלצות עבורך
-
Senior Chip Design Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Senior ASIC Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Senior ASIC Verification Engineer
-
באר שבע
NVIDIA
-
-
Senior Chip Design Verification Engineer
-
באר שבע
NVIDIA
-
-
Senior Chip Design Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Senior ASIC Design Verification Engineer
-
קיסריה
Cisco
-
