Episode 9 - Formal Verification Engineer (Or Drucker) Hard Reset podcast

Artwork

תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

Hard Reset « »
Episode 9 - Formal Verification Engineer (Or Drucker)

1+ y ago 1:02:08

שתפו

MP3•בית הפרקים

תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com

… continue reading

49 פרקים

Artwork

Episode 9 - Formal Verification Engineer (Or Drucker)

15 subscribers

published 1+ y ago

שתפו

MP3•בית הפרקים

תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com

… continue reading

49 פרקים

כל הפרקים

×

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.

תקשיבו ל-500+ נושאים

מדריך עזר מהיר

פודקאסטים מובילים

מכביבול ברדיו תל אביב

הזווית - פודקאסט

בכל יום נתון - אוריאל דסקל וראם שרמן

עושים חשבון Osim Heshbon

טייכר וזרחוביץ' ברדיו תל אביב

טייכר וזרחוביץ' - מערכונים

גיבור תרבות Culture Hero

סרטים זה אנחנו - מגזין קולנוע

עושים תוכנה Osim Tochna

השבוע - פודקאסט הארץ

המשחק הגדול

חושבים טוב

המעבדה The Lab

חזית המדע

סליחה על השאלה - ההסכת You Can't Ask That Podcast

סיפור ישראלי

עבר פלילי

Lets Talk Murder | בואי נדבר רצח

Lets Talk Murder | בואי נדבר רצח