PhD in Informatik

GSSI - Gran Sasso Science Institute

Programmbeschreibung

Lesen Sie die offizielle Beschreibung

PhD in Informatik

GSSI - Gran Sasso Science Institute

Die prinzipielle Entwicklung moderner Computersysteme umfasst die Modellierung und das Management der Wechselwirkungen zwischen diskreten und kontinuierlichen Phänomenen, die effiziente und nachhaltige Bewältigung heterogener Netzwerke, die Möglichkeit, auf potenziell unbegrenzte Hardware- und Softwareressourcen zuzugreifen, den Umgang mit Ungewissheiten und die Notwendigkeit, sich auszuarbeiten Echtzeit massive Datenmengen. Um diese Herausforderungen zu meistern, ist es unser Grundsatz, ein multidisziplinäres Wissen zu entwickeln, das auf den Fähigkeiten des Modellierens und Schließens beruht. Daher ist das Hauptziel unseres Ph.D. Studien sollen den Studierenden die Möglichkeit geben, diese Fähigkeiten zu entwickeln und sie auf Forschungsherausforderungen in der Informatik anzuwenden. Zu diesem Zweck bieten wir unseren Doktoranden Einführungskurse an, die den notwendigen formalen Hintergrund und spezielle Kurse bieten, die Studenten zu den neuesten Entwicklungen in den Bereichen Reaktive Systeme, Software Engineering und algorithmische Aspekte von Computer- und sozialen Netzwerken führen.

Der Ph.D. Programm besteht aus 4 Jahren Studium und Forschung. Während des ersten Jahres folgen die Studierenden einer Reihe von Kursen, die in drei Hauptpfeiler gegliedert sind: Grundlagen von (modernen) Netzwerken, Spezifikation und Analyse von gleichzeitigen reaktiven Systemen sowie Software-Systeme und Dienstleistungen. Neben internen GSSI-Kursen werden die Schüler ermutigt, Kurse auch an Sommerschulen oder an anderen Institutionen in Italien oder im Ausland zu besuchen. Jeder Student wird gebeten, sich zusammen mit dem Ph.D. Koordinator, ein vom Wissenschaftlichen Beirat zu genehmigender Studienplan.

Die Leistung in den Prüfungen und die Qualität des (am Ende des ersten Jahres eingereichten) Angebots sind die Hauptkriterien für die Zulassung zum zweiten Jahr. Das zweite und dritte Jahr widmen sich hauptsächlich der Forschung. Bei der Entwicklung ihrer Forschung wird jeder Student von einem Supervisor unterstützt und sein Fortschritt wird von einem Thesis-Ausschuss beurteilt, der aus Experten in dem relevanten Bereich seiner / ihrer wissenschaftlichen Interessen besteht. Studenten werden dringend dazu ermutigt, einen Teil ihrer Forschungsarbeiten in externen Forschungslaboren in Italien oder im Ausland zu verbringen.

Weitere Informationen zum Ph.D. Programm ist verfügbar unter: href = "http://cs.gssi.infn.it/phd-program/information/

Ausschuss

Luca Aceto (Reykjavik Universität, Island), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Université Paris Diderot, Frankreich), Beniamino Di Martino (Università della Campania "L. Vanvitelli" ), Michele Flammini (Lehrstuhl, GSSI und Università dell'Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley und Simons Institute for theory of Computing, USA).

Das Gran Sasso Science Institute bietet 34 Ph.D. Stipendien in Physik, Mathematik, Informatik und Sozialwissenschaften.

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


Das Gran Sasso Science Institute (GSSI) wurde im Jahr 2012 in L'Aquila (Italien) als Zentrum für Fortgeschrittene Studien des Nationalen Instituts für Kernphysik (INFN) gegründet und im März 2016 als School of Advanced Studies mit Postgraduiertenstatus gegründet Ausbildung, Angebote 34 Ph.D. Positionen für das akademische Jahr 2018/19.


Die GSSI ( www.gssi.it ) lädt zu 10 Stipendien in "Astroteilchenphysik", 8 in "Mathematik in Natur-, Sozial- und Lebenswissenschaften", 8 in "Informatik" und 8 in "Urban Studies und Regional Science". Die offizielle Sprache für alle Ph.D. Kurse sind Englisch.


Die Stipendien werden für 4 Jahre vergeben und ihr jährlicher Betrag beträgt € 16.159,91 brutto. Alle Ph.D. Studenten haben freie Unterkunft in den GSSI-Einrichtungen und die Nutzung der Kantine.


Der Antrag muss bis zum 20. Juni 2018 um 18.00 Uhr (italienische Zeitzone) über das Online-Formular unter www.gssi.it/phd/ eingereicht werden.


Weitere Informationen finden Sie in der Aufforderung zur Einreichung von Bewerbungen unter www.gssi.it/phd/ oder schreiben Sie eine E-Mail an info@gssi.it

Kurse Informatik


IMMIGRATIONSKURSE

  • Reaktive Systeme - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Softwaresysteme und Dienstleistungen - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Design und Analyse von Algorithmen - Mattia D'Emidio, Michele Flammini

KERNFÄCHER

  • Modellierung und Verifizierung reaktiver Systeme - Luca Aceto, Rocco De Nicola
  • Prinzipien der Modellüberprüfung - Michele Loreti
  • Leistungsmodellierung - Mirco Tribaston

  • Abstraktion, Modellierung und Architektur - Patrizio Pelliccione
  • Software-Architektur und darüber hinaus - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Softwaretest und Zuverlässigkeit - Antonella Bertolino

  • Approximationsalgorithmen - Gianlorenzo D'Angelo
  • Algorithm Engineering und Analyse komplexer Netzwerke - Mattia D'Emidio und Pierluigi Crescenzi
  • Algorithmische Spieltheorie - Michele Flammini

Fortgeschrittene Kurse

  • Advanced Testing - Tools und Methoden - Lorenzo Bettini
  • Erweiterte Software-Analyse - Massimiliano Di Penta
  • Interaktionen aus mehreren Perspektiven - Christian Kästner
  • Von zeitgesteuerten Automaten zu stochastischen Hybridspielen - Kim Guldstrand Larsen
  • Softwareverifizierung - Omar Inverso
  • Verteiltes Rechnen - Pierre Fraigniaud
Diese Universität bietet Studiengänge in den folgenden Sprachen an
  • Englisch


Zuletzt aktualisiert am April 15, 2018
Dauer & Preise
Dieser Kurs ist campusbasiert
Start Date
Beginn
Nov. 2018
Duration
Dauer
4 jahre
Vollzeit
Information
Deadline
Locations
Italien - L'Aquila, Abruzzen
Beginn : Nov. 2018
Anmeldefrist Infos beantragen
Ende Aug. 1, 2021
Dates
Nov. 2018
Italien - L'Aquila, Abruzzen
Anmeldefrist Infos beantragen
Ende Aug. 1, 2021