E9 - Formal Verification Engineer (Or Drucker)
Aug 01, 2022•1 hr 2 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
For the best experience, listen in Metacast app for iOS or Android