Destinus היא חברת תעופה וחלל וביטחון אירופית המפתחת מערכות טיסה אוטונומיות ליישומים אזרחיים וביטחוניים. החברה נוסדה בשנת 2021 ומתכננת ומייצרת טכנולוגיות תעופה למגוון טווחי מהירויות, ובהם פלטפורמות היפרסוניות עתידיות. עבודתה הרב־תחומית משלבת הנדסת שלדות אוויר, הנעה באמצעות מנועי טורבו־סילון, תוכנת טיסה, בינה מלאכותית ותכנון מערכות מלא. עם התרחבות הצוות של Destinus, החברה מציעה הזדמנויות לתרום לפיתוח מערכות כלי טיס אוטונומיות, יעילות ומהירות.
חוקר למידת מכונה להסמכת בטיחות תעופה
חקרו ערבויות בטיחות מתמטיות לבינה מלאכותית בטיסה אוטונומית ב-Destinus וב-Daedalean, וחברו בין תורת הלמידה הסטטיסטית למסגרות הסמכת התעופה של EASA.
תיאור
- בחנו אסטרטגיות הסמכה ללמידת מכונה מונחית ופתחו אותן.
- התאימו ערבויות מתמטיות, טיעונים טכניים והערכות מודלים לתהליך הסמכת הבינה המלאכותית בצורת W של EASA.
- חקרו את תורת הלמידה הסטטיסטית, חסמי הכללה וערבויות לרשתות עצביות עמוקות בתנאי עולם אמיתי משתנים.
- השתמשו בסטטיסטיקה ובתהליכים סטוכסטיים כדי למדל אי-ודאות סביבתית ורעש חיישנים, ולהעריך את מידת הביטחון במדדי ביצועים.
- העריכו ספרות מחקרית, הוכחות מתמטיות והנחות הנדסיות בקפדנות של ביקורת עמיתים.
- פתחו הצדקות טכניות וטיעונים לוגיים עבור ביקורות בטיחות ומסגרות הסמכה.
- כתבו קוד Python שניתן לשחזור כדי לבדוק השערות, לאמת שיטות הסמכה ולבחון ביצועים של מסגרות בטיחות למודלים.
דרישות
- הביאו הבנה מעמיקה של תורת הלמידה הסטטיסטית, חסמי הכללה והיסודות המתמטיים של רשתות עצביות עמוקות.
- הביאו בסיס חזק בהסתברות מתקדמת, מידול סטטיסטי ותהליכים סטוכסטיים.
- היו מיומנים ב-Python ובכתיבת קוד ברור שניתן לשחזור; אפשר ללמוד מיומנויות קידוד בסיסיות בעבודה כאשר יש יסודות תאורטיים חזקים.
- היו מסוגלים לערוך סקירות ספרות מקיפות, לזהות פערים במחקר הבינה המלאכותית העכשווי ולתרגם מושגים אקדמיים למסגרות הנדסיות; אפשר ללמוד זאת עם בסיס כמותי חזק.
- הביאו ניסיון או יכולת בביקורת עמיתים, לרבות הערכה ביקורתית של הוכחות מתמטיות, הנחות אלגוריתמיות ומאמרי מחקר.
- למדו לקראת תואר שני או דוקטורט, או השלימו אחד מהם לאחרונה, במדעי המחשב, מתמטיקה, סטטיסטיקה תאורטית, הנדסת חשמל, פיזיקה או תחום מחקר כמותי קשור.
- הפעילו חשיבה ביקורתית ושמרו על ספקנות בריאה כלפי הנחות למידת מכונה ודיוק אמפירי.
- היו בעלי יכולת יוצאת דופן לבנות טיעונים לוגיים מבוססים והצדקות טכניות.
- היו חדורי מוטיבציה להתמודד עם בעיות מתמטיות הנוגעות למדעי המחשב התאורטיים, הנדסת בטיחות ותפעול טיסה בעולם האמיתי.