עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
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.
דרישות:
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. המשרה מיועדת לנשים ולגברים כאחד.
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
שאלות ותשובות עבור משרת Formal Verification Engineer
מהנדס אימות פורמלי ב-Amazon אחראי על הבטחת האיכות והאמינות של קו מוצרי Graviton. התפקיד כולל בעלות על מחזור האימות המלא, מתכנון ועד ביצוע, תוך שיתוף פעולה עם צוותים שונים כדי לספק תוצאות איכותיות בסביבה מהירה.
משרות נוספות מומלצות עבורך
-
Senior Formal Verification Engineer
-
תל אביב - יפו
Samsung Research and Development Center Israel
-
-
Formal Verification Engineer
-
פתח תקווה
Intel
-
-
Formal Verification Engineer
-
חיפה
Intel
-
-
Formal Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Principal Formal Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Senior Formal Verification Engineer
-
תל אביב - יפו
NVIDIA
-
22,000-32,000 ₪