← MASTERSLYMaster in Computer Science – Software Engineering and Formal Methods
Université de Lorraine, Nancy · Франция
Магистерская программа Университета Лотарингии в Нанси по разработке надёжного ПО и формальным методам, преподаётся на английском, рассчитана на иностранных студентов. Длительность 2 года, стоимость около 8000 евро в год для не-ЕС.
ПЛЮСЫ
—Программа на английском в топовом исследовательском центре LORIA/INRIA
—Сильная школа по формальным методам (Event-B, B-Method, верификация)
МИНУСЫ
—Точная разбивка EU/non-EU тарифов и финальный дедлайн подачи на странице не указаны явно — цифры приближённые по данным mastersportal/formations.univ-lorraine.fr
СТИПЕНДИИ
Eiffel ScholarshipLorraine University of Excellence (LUE) scholarships