עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
מלאה
abra R&D seeking a skilled Formal Verification Engineer to join our dynamic team! In this role, you'll be at the forefront of our efforts to guarantee the reliability and integrity of our most critical systems. Key responsibilities:
* Develop formal verification plans, write formal verification properties.
* Perform coverage analysis to make sure that no scenarios have been missed.
* Full cooperation with the traditional verification, design and architecture team and building a testing strategy accordingly.
* Leading all the formal activities of the most advanced project in AWS.
* Use of advanced technologies such as abstractions, reductions, cover hunt and more.
* Participation in all stages of the team's development towards company flagship products.
* Mentoring young engineers.
* Develop formal verification plans, write formal verification properties.
* Perform coverage analysis to make sure that no scenarios have been missed.
* Full cooperation with the traditional verification, design and architecture team and building a testing strategy accordingly.
* Leading all the formal activities of the most advanced project in AWS.
* Use of advanced technologies such as abstractions, reductions, cover hunt and more.
* Participation in all stages of the team's development towards company flagship products.
* Mentoring young engineers.
Requirements:
* Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
* 4-6 years of hands-on experience in formal verification, including writing and proving properties, using formal verification tools, and debugging.
* Extensive experience in verification modules of different levels of difficulty, even those who are not trivial to the formal.
* Experience with advanced technologies such as abstractions, reductions, cover hunt.
* Proven experience in accompanying products - from the definition stages to production.
* Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.
* 4-6 years of hands-on experience in formal verification, including writing and proving properties, using formal verification tools, and debugging.
* Extensive experience in verification modules of different levels of difficulty, even those who are not trivial to the formal.
* Experience with advanced technologies such as abstractions, reductions, cover hunt.
* Proven experience in accompanying products - from the definition stages to production.
This position is open to all candidates.
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
משרות נוספות מומלצות עבורך
-
Formal Verification Engineer
-
קיסריה
AI-Fabrics
-
-
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
-
