עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!

במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

הגשת מועמדות

Formal Verification Engineer

חברה בתחום הייטק / חומרה / תוכנה / סייבר

הגשת מועמדות

חברה בתחום הייטק / חומרה / תוכנה / סייבר

חיפה

Formal Verification Engineer

חברה בתחום הייטק / חומרה / תוכנה / סייבר

הגשת מועמדות

חברה בתחום הייטק / חומרה / תוכנה / סייבר

חיפה
מלאה
22,000-32,000 ₪ (הערכה מבוססת AI)
זוהי הערכת טווח שכר מבוססת AI ולא פרסום של המעסיק

As a Formal Verification Engineer, you'll play a crucial role in ensuring the quality and reliability of our Graviton product line. You'll own the complete verification lifecycle, from planning through execution, collaborating with cross-functional teams to deliver quality results in a fast-paced environment.

Key job responsibilities:
Drive formal verification efforts for complex hardware designs.
Develop comprehensive verification plans and execute them independently.
Collaborate with design, system and verification teams.
Identify and resolve design issues using formal methods.
Contribute to methodology improvements and best practices.

Requirements:
Basic Qualifications:
- Bachelor's degree in Computer Science, Electrical Engineering, or related field.
- 5+ years of experience in hardware design/verification.
- Knowledge in digital logic systems, computer architecture, and networks
- Analytical and problem-solving abilities.
- Self-motivated team player who thrives in dynamic environments.

Preferred Qualifications:
- Experience with formal verification tools (JasperGold, VC Formal, or similar).
- Knowledge of formal verification methodologies and assertions (SVA/PSL).
- Scripting skills (Python, Perl, or TCL).
- Familiarity with AI/ML applications in verification.

This position is open to all candidates.

הגשת מועמדות