מוסמך מחקרי (מסלול 3040) 

מסלול מחקרי (מסלולים 3040, 3042 ,3044, 3047, 3048)

תוכנית הלימודים: כוללת קורס חובה אחד, קורסי חובת בחירה - אחד מכל אשכול (ראה רשימת קורסי חובת בחירה לאשכולות המוסמך), סמינר אחד ופרויקט מעבדה בהיקף של 5 נ"ז. לא ניתן ללמוד יותר מסמינר אחד ומעבדה אחת. 

תכנית הלימודים תקיף מגוון רחב של נושאים, והתמחות בתחום אחד לפחות. בתחום ההתמחות ילמד התלמיד סדרת קורסים שיאפשרו העמקה בתחום, ואשר תכלול לפחות קורס אחד נוסף מהאשכול המתאים בנוסף לקורסי חובת הבחירה. חובה להשתתף בהרצאת הקולוקוויום השבועית במשך שנה אחת בשנה הראשונה לתואר.

בשנת הלימודים הראשונה ילמד התלמיד קורסים בהיקף של 20 נ"ז לפחות. תלמיד המעוניין בהיקף לימודים הנמוך מזה יגיש בקשה לפיצול שנת הלימודים הראשונה כאשר ההיקף בשנה הראשונה לתואר הוא עד 12 נ"ז ולא יותר.

ככלל התוכנית תכלול אך ורק קורסי מוסמך במדעי המחשב או במתמטיקה. במידה וסטודנט נדרש או רוצה ללמוד קורס מחוג אחר, הרלוונטי לתחום המחקר שלו, יידרש אישור בכתב מהמנחה.

 דרישות הלימודים במסלול המחקרי כוללות השתתפות בקורסים, ביצוע מחקר ותיאורו בעבודת גמר ובסמינר, ועמידה בבחינת הגמר למוסמך.

 
הרכב הציון בסיום התואר: 40% קורסים, 40% תיזה, ו- 20% בחינת גמר.

היקף הלימודים: 30 נ"ז, הכוללים שעורים, תרגילים, מעבדות וסמינרים. תכנית הלימודים תקיף מגוון רחב של נושאים, כולל התמחות בתחום אחד לפחות. במסגרת הלימודים הרחבה, התלמיד ילמד קורס אחד לפחות מכל אשכול (ראה רשימת קורסי חובת בחירה לאשכולות המוסמך). בתחום ההתמחות ילמד התלמיד סדרת קורסים שתאפשר העמקה בתחום, ואשר תכלול לפחות קורס נוסף אחד מהאשכול המתאים בנוסף לקורסי חובת הבחירה.
 
תכנית הלימודים תכלול אך ורק קורסי מוסמך במדעי המחשב או במתמטיקה. במידה וסטודנט נדרש או רוצה ללמוד קורס מחוג אחר, הרלוונטי לתחום המחקר שלו, יידרש אישור בכתב מהמנחה.

 עבודת מחקר: במהלך שנת הלימודים הראשונה יתקשר התלמיד עם מדריך מסגל מורי החוג. המדריך יסייע לתלמיד במציאת נושא למחקר וינחה אותו בביצועו. המחקר יתואר בעבודת הגמר של התלמיד, אשר ציונה ייקבע ע"י שניים או שלושה שופטים, כשהמדריך הוא אחד מהם.  היקף התיזה 12 נ"ז.

בחינת מוסמך: על התלמיד לעבור בחינת גמר כחלק מחובות תואר המוסמך למדעי המחשב, כאשר לשם כך יש לפנות למזכירות החוג לתיאום מועד בחינה. תוצאות הבחינה יישמרו במזכירות המוסמך של החוג, ובעת סגירת התואר הציון ידווח במערכת. להלן תיאור הבחינה ונוהל הבחינה.

בחינת הגמר

לבחינת הגמר ניתן להירשם דרך הטופס המקושר ולפרטים נוספים ניתן ליצור קשר עם רכזת המוסמך

רשימת אשכולות

אשכול תיאוריה:

• 67944  נושאים מתקדמים בקריפטוגרפיה
•  67531 קריפטוגרפיה
•  67458 חישוביות וחשיבה
• 67596  מבוא לחישוב קוונטי
•   67599גיאומטריה חישובית
• 67663  אוטומטים מעל עצמים אינסופיים
•  67677נושאים בגבול כלכלה וחישוב
•  67720שיטות גיאומטריות בתורת האלגוריתמים
•  67824אלגוריתמים מתקדם
•  67849תיאוריה של מדעי המחשב למוסמך
•  67855אופטימיזציה דיסקרטית
•  67883אימות פורמלי של מערכות
•  67573פתרון בעיות באלגוריתמים
•  67548מבוא לאינפורמציה ולהסקה
•  67833חישוב מקבילי מתקדם
•  67508מבוא לפרטיות נתונים
• 67938  תורת הלמידה
• 67939 נושאים בתורת הלמידה
• 67181 פנינים במתמטיקה דיסקרטית
• 80513 נושאים בתורת הגרפים
• 67731 אופטימיזציה קמורה ושימושיה
• 80571 גרפים מרחיבים
• 67892 נושאים בחישוב בטוח
• 67564 למידה חישובית בייזייאנית
• 67648 אלגוריתמים אטרטיביים ואקראיים למטריצות
• 67561 יסודות תורת האינפורמציה
• 67781 נושאים בתורת הגרפים
• 67509 חישוב מקוון והחלטה בתנאי אי וודאות
• 67691 כלכלה וחישוב
• 67518 קורס מעשי בפרטיות נתונים
• 67883 אימות פורמלי של מערכות ראקטיביות

אשכול מערכות מחשב:

• 67520  אלגוריתמים מבוזרים
•  67886 ארכיטקטורות נתבים ומתגים
•  67466 שיטות מחקר בהנדסת תוכנה
•  67883 אימות פורמלי של מערכות
• 67833  חישוב מקבילי מתקדם
• 67804 פרוטוקולים וארכיטקטורות לקשורת באינטרנט: תיאוריה ומעשה
• 67613 סדנא ברשתות תקשורת 
• 67532 ניתוח אוטומטי של תוכנה
• 67612 סדנה בנושא האינטרנט של הדברים
• 67519 אמינות במערכות מבוזרות
• 67552 תיאוריה ומעשה בעיבוד ביג דאטה
• 67782 אחזור מידע באינטרנט
• 67513 מבוא למטבעות קריפטוגרפים
• 67914 אבטחת רשתות תקשורת
• 67515 נושאים מתקדמים בפרטיות ואבטחת מידע
• 67681 מערכות מחשב מבוססות למידה
• 67607 נושאים מתקדמים באבטחת מידע (סייבר)
• 67594 מבוא לרשתות תקשורת
• 67765 נושאים במדע נתונים אחראי
• 67883 אימות פורמלי של מערכות ראקטיביות

אשכול מערכות נבונות ומדע המידע:

• 67548  מבוא לאינפורמציה ולהסקה
• 67593  עבוד אותות סטטיסטי
• 67599  גיאומטריה חישובית
• 67609  גרפיקה ממוחשבת
• 67705  עיבוד תמונות רפואיות, רובוטיקה רפואית, וניתוחים מונחי מחשב
• 67735  צילום חישובי
• 67750 קורס מעשי מתקדל בלמידה חישובית
• 67800  שיטות הסתברותיות בבינה מלאכותית
•  67731אופטימיזציה קמורה ושימושיה
•  67288עיבוד תמונה מתקדם
•  67978 מחט בערימת דאטה
•  67682 נושאים מתקדמים בעיצוב דיגיטלי
•  76558 אלגוריתמים בביולוגיה חישובית
•  67508 מבוא לפרטיות נתונים
•  67938 תורת הלמידה
• 67939 נושאים בתורת הלמידה
• 67658  עיבוד שפה טבעית
• 76562 עיבוד מידע תלת מימדי בביולוגיה מבנית
• 67912 למידה עמוקה שימושית
• 76564 גנומיקה של תאים בודדים - מניסוי לאנליזה
• 67103 מבוא לרשתות עצביות
• 67624 נושאים מתקדמים בתיאוריה של למידה
• 67680 סדנה בעיבוד שפה טבעית בעברית
• 67543 הוכחת משפטים אינטראקטיבית בשפת LEAN
• 67296 דחיסת תמונה וידאו
• 67822 למידה עמוקה שימושית
• 67564 לימידה חישובית בייזאנית
• 76906 - היבטים יישומיים של ממשקי מוח מחשב
• 67561 יסודות תורת האינפורמציה
• 67455 מבוא לעיבוד וזיהו דיבור
• 67664 קורס מתקדם בעיבוד שפה טבעית
• 67818 מעבדה יישומית תחרותית במדעי הנתונים
• 67562 דינמיקה, רשתות וחישוב
• 67518 קורס מעשי בפרטיות נתונים