Доктор по компютърни науки

Основното развитие на съвременните изчислителни системи включва моделиране и управление на взаимодействията между дискретни и непрекъснати явления, ефикасно и устойчиво справяне с хетерогенните мрежи, възможност за достъп до потенциално неограничени хардуерни и софтуерни ресурси, работа с несигурност и необходимост от разработване масивно количество данни в реално време. Нашето принцип е, че за да се отговори на тези предизвикателства, трябва да се разработи мултидисциплинарно знание, което трябва да се основава на способности за моделиране и разсъждение. Ето защо основната цел на нашия доктор. е да даде възможност на студентите да развият тези способности и да ги приложат в изследователските предизвикателства в компютърните науки. За тази цел предлагаме на нашите завършили студенти уводни курсове, които осигуряват необходимия формален опит и специализирани курсове, които запознават студентите с най-новите постижения в областта на реактивните системи, софтуерното инженерство и алгоритмичните аспекти на компютърните и социалните мрежи.

Докторатът Програмата се състои от 4 години изследване и изследване. През първата година студентите следват редица курсове, структурирани в три основни стълба: Основи на (модерни) мрежи, спецификация и анализ на съпътстващи реактивни системи и софтуерни системи и услуги. Освен вътрешните курсове по GSSI, студентите се насърчават да вземат часове и в летни училища или в други институции в Италия или в чужбина. Всеки ученик е помолен да подготви, заедно с докторантурата. координатор, учебен план, който да бъде одобрен от Научния съвет.

Изпълнението на изпитите и качеството на предложението за теза (представено в края на първата година) са основните критерии за вземане на решение за приемане през втората година. Втората и третата година са посветени главно на научните изследвания. При разработването на своето изследване всеки студент се подпомага от ръководител и неговият / нейния напредък се оценява от дипломна комисия, състояща се от експерти в съответната сфера на нейните научни интереси. Студентите се насърчават да изразходват част от изследванията си в външни изследователски лаборатории в Италия или в чужбина.

Допълнителна информация за докторантурата програмата е на разположение на адрес: href = "http://cs.gssi.infn.it/phd-program/information/

комисия

Лука Ацето (Университет Рейкявик, Исландия), Антония Бертолино (ISTI-CNR, Пиза), Джанлоренцо Д'Анджело (GSSI), Роберто Ди Козмо (Университет Париж Дидеро, Франция), Бениамино Ди Мартино (Университета на Кампания " ), Michele Flammini (председател, GSSI и Università dell'Aquila), Паоло Прийето (Politecnico di Torino), Лука Тревисан (UC Berkeley и Симон институт за теория на компютърните технологии, САЩ).

Институтът за наука "Гранд Сасо" предлага 34 докторанта. стипендии по физика, математика, компютърни науки и социални науки.

HREF = "http://www.gssi.it/phd/

Институтът за наука "Гранд Сасо" (GSSI), създаден през 2012 г. в L'Aquila (Италия) като Център за напреднали изследвания на Националния институт за ядрена физика (INFN) и създаден през март 2016 г. като училище за напреднали изследвания, осигуряващо следдипломна квалификация образование, предлага 34 докторска степен. за академичната година 2018/19.

GSSI ( www.gssi.it ) кани кандидатури за 10 стипендии в "Астрономия физика", 8 в "Математика в природни, социални и биологични науки", 8 в "Компютърни науки" и 8 в "Urban Studies и регионални науки". Официалният език за всички докторанти. курсовете са английски.

Стипендиите се отпускат за 4 години, а годишната им сума е 16.159,91 евро. Всички докторанти студентите имат безплатно настаняване в съоръженията на GSSI и използването на столовата.

Заявлението трябва да бъде подадено чрез онлайн формуляра на адрес www.gssi.it/phd/ до 20 юни 2018 г. в 18.00 ч. (Италианска часова зона).

За повече информация, моля, направете справка с Поканата за кандидатстване на адрес www.gssi.it/phd/ или напишете имейл на info@gssi.it

Курсове компютърни науки

ИМИГРАЦИОННИ КУРСОВЕ

• Реактивни системи - Лука Ацето, Роко Де Никола, Катя Трубини
• Софтуерни системи и услуги - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
• Дизайн и анализ на алгоритмите - Mattia D'Emidio, Michele Flammini
  
  

ОСНОВНИ КУРСОВЕ

• Моделиране и проверка на реактивни системи - Luca Aceto, Rocco De Nicola
• Принципи на проверка на модела - Микеле Лорети
• Моделиране на ефективността - Mirco Tribastone
  
  
• Абстракция, моделиране и архитектура - Patrizio Pelliccione
• Софтуерна архитектура и извън нея - Паола Инвербари, Масимо Тиволи, Марко Аутили
• Софтуерно тестване и надеждност - Антонела Бертолино
  
  
• Алгоритми за приближаване - Джанлоренцо Д'Анджело
• Алгоритмично инженерство и анализ на комплексни мрежи - Матиа Д'Емидио и Пирлюиги Кресценз
• Теория на алгоритмичната игра - Микеле Фламинми
  
  

РАЗШИРЕНИ КУРСОВЕ

• Разширено тестване - Инструменти и методологии - Лоренцо Бетини
• Разширено софтуерно анализиране - Massimiliano Di Penta
• Характеристики на взаимодействията от множество перспективи - Кристиан Кестнер
• От времето на автоматичните до стохастичните хибридни игри - Ким Гулдстранд Ларсен
• Проверка на софтуера - Omar Inverso
• Разпределени изчисления - Пиер Фрайниуд