Absolvent má pokročilé znalosti logiky, matematiky a jejích základů a filozofických souvislostí s důrazem na samostatnou analytickou práci a původní výsledky. Výuka probíhá v anglickém jazyce, absolvent je tak připraven na práci a výzkum v mezinárodním prostředí.

Absolvent je připraven k působení ve všech oblastech, kde se pracuje s formálními systémy, např. programování, správa a vývoj IT systémů a databází, či je vyžadována schopnost porozumět složitým pravidlům a textům, např. legislativa či veřejná správa. Je rovněž připraven na následné doktorské studium v logice, matematice nebo filozofii.