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