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

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

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

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

חיפה

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

חיפה
מלאה
18,000-24,000 ₪ הערכה מבוססת AI ולא שכר שהתקבל מהמעסיק
הערכה מבוססת AI ולא שכר של המעסיק

As formal Verification Engineer you'll own verification tasks from planning through execution, collaborating with experienced engineers across multiple teams to ensure design quality while meeting challenging timelines of the Graviton product line. This is an excellent opportunity for motivated engineers to grow their formal verification expertise in a supportive, high-impact environment.

What We Offer:
Mentorship from formal verification experts.
Hands-on experience with cutting-edge cloud compute.
Clear career growth path within us.
Opportunity to impact products used by millions globally.

Key job responsibilities:
- Plan and execute formal verification plans under guidance from senior engineers.
- Develop formal test-benches for design modules.
- Debug formal verification failures and analyze root causes.
- Collaborate with design and verification teams to resolve issues.
- Learn and apply new formal verification methodologies and tools.

Requirements:
Basic Qualifications:
- Bachelor's degree in Computer Science, Electrical Engineering, or related field, Please include your grade sheet/academic transcript with your CV in a single PDF.
- Analytical and problem-solving abilities.
- Self-motivated team player who thrives in dynamic, fast-paced environments.

Preferred Qualifications:
- Academic or internship experience with formal verification concepts.
- Exposure to hardware verification methodologies.
- Basic scripting skills (Python, Perl, or similar).
- Familiarity with AI/ML applications in verification.

This position is open to all candidates.