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