TU Wien (Vienna University of Technology), Vienna, Австрия
Программа фокусируется на математической логике, теории вычислимости и верификации программ. Сильный исследовательский компонент с возможностью работы в ведущих лабораториях. Идеальна для студентов, интересующихся теоретической информатикой.