PhD in Computer Sciences

GSSI - Gran Sasso Science Institute

Programma Beschrijving

Lees de Officiële Beschrijving

PhD in Computer Sciences

GSSI - Gran Sasso Science Institute

De principiële ontwikkeling van moderne computersystemen omvat het modelleren en beheren van de interacties tussen discrete en continue verschijnselen, het efficiënt en duurzaam omgaan met heterogene netwerken, de mogelijkheid om toegang te krijgen tot potentieel onbeperkte hardware- en softwarebronnen, het omgaan met onzekerheid en de noodzaak om in te werken in realtime enorme hoeveelheden gegevens. Het is onze stelling dat voor het aangaan van deze uitdagingen een multidisciplinaire kennis moet worden ontwikkeld die gebaseerd moet zijn op solide modellerings- en redeneercapaciteiten. Daarom is het hoofddoel van onze Ph.D. studies moeten studenten de mogelijkheid bieden om die vermogens te ontwikkelen en toe te passen op onderzoekuitdagingen in de informatica. Hiertoe bieden we onze introductiecursussen voor afgestudeerden aan met de nodige formele achtergrond en gespecialiseerde cursussen die studenten kennis laten maken met de nieuwste ontwikkelingen op het gebied van Reactive Systems, Software Engineering en Algorithmic Aspects of Computer and Social Networks.

De Ph.D. programma bestaat uit 4 jaar studie en onderzoek. Tijdens het eerste jaar volgen de studenten een aantal cursussen gestructureerd in drie belangrijke pijlers: Foundations of (Modern) Networks, Specification and Analysis of Concurrent Reactive Systems, en Software Systems and Services. Afgezien van interne GSSI-cursussen, worden studenten aangemoedigd om lessen te volgen, ook op zomercursussen of bij andere instellingen in Italië of in het buitenland. Elke student wordt gevraagd om zich voor te bereiden, samen met de Ph.D. coördinator, een studieplan dat moet worden goedgekeurd door de wetenschappelijke raad.

Prestaties bij de examens en de kwaliteit van het proefschriftvoorstel (ingediend aan het einde van het eerste jaar) zijn de belangrijkste criteria voor de toelating tot het tweede jaar. Het tweede en derde jaar zijn voornamelijk gericht op onderzoek. Bij de ontwikkeling van haar / zijn onderzoek wordt elke student bijgestaan ​​door een begeleider en wordt zijn / haar vooruitgang beoordeeld door een thesiscommissie bestaande uit experts op het relevante gebied van zijn / haar wetenschappelijke interesses. Studenten worden sterk aangemoedigd om een ​​deel van hun onderzoek in externe onderzoekslaboratoria in Italië of in het buitenland door te brengen.

Verdere informatie over de Ph.D. programma is beschikbaar op: href = "http://cs.gssi.infn.it/phd-program/information/

Commissie

Luca Aceto (Reykjavik University, IJsland), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Université Paris Diderot, Frankrijk), Beniamino Di Martino (Università della Campania "L. Vanvitelli" ), Michele Flammini (voorzitter, GSSI en Università dell'Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley en Simons Institute for the Theory of Computing, VS).

Het Gran Sasso Science Institute biedt 34 Ph.D. beurzen in natuurkunde, wiskunde, informatica en sociale wetenschappen.

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


Het Gran Sasso Science Institute (GSSI), opgericht in 2012 in L'Aquila (Italië) als Centre for Advanced Studies van het National Institute for Nuclear Physics (INFN) en vervolgens in maart 2016 opgericht als een School of Advanced Studies die postdoctoraal onderwijs biedt onderwijs, aanbiedingen 34 Ph.D. functies voor het academische jaar 2018/19.


De GSSI ( www.gssi.it ) nodigt aanvragen uit voor 10 beurzen in "Astrodeeltjesfysica", 8 in "Wiskunde in natuurlijke, sociale en levenswetenschappen", 8 in "Informatica" en 8 in "Stedenbouw en regionale wetenschappen". De officiële taal voor alle Ph.D. cursussen is Engels.


De beurzen worden toegekend voor 4 jaar en hun jaarlijks bedrag is € 16.159,91 bruto. All Ph.D. studenten hebben gratis accommodatie bij de GSSI-faciliteiten en gebruik van de kantine.


De aanvraag moet worden ingediend via het online formulier dat beschikbaar is op www.gssi.it/phd/ vóór 20 juni 2018 om 18.00 uur (Italiaanse tijdzone).


Raadpleeg voor meer informatie de Call for Applications op www.gssi.it/phd/ of schrijf een e-mail naar info@gssi.it

Cursussen Computerwetenschappen


IMMIGRATIE CURSUSSEN

  • Reactieve systemen - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Softwaresystemen en -diensten - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Ontwerp en analyse van algoritmen - Mattia D'Emidio, Michele Flammini

KERN VAKKEN

  • Modellering en verificatie van reactieve systemen - Luca Aceto, Rocco De Nicola
  • Principes van modelcontrole - Michele Loreti
  • Prestatiemodellering - Mirco Tribastone

  • Abstractie, modellering en architecten - Patrizio Pelliccione
  • Software-architectuur en daarbuiten - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Software testen en betrouwbaarheid - Antonella Bertolino

  • Approximation Algorithms - Gianlorenzo D'Angelo
  • Algoritme Engineering en Analyse van Complexe Netwerken - Mattia D'Emidio en Pierluigi Crescenzi
  • Algorithmic Game Theory - Michele Flammini

GEAVANCEERDE CURSUSSEN

  • Geavanceerde tests - Tools en methodologieën - Lorenzo Bettini
  • Geavanceerde softwareanalyses - Massimiliano Di Penta
  • Interactieverstrekking vanuit meerdere perspectieven - Christian Kästner
  • Van Timed Automata tot Stochastic Hybrid Games - Kim Guldstrand Larsen
  • Software Verification - Omar Inverso
  • Distributed Computing - Pierre Fraigniaud
Deze school biedt programma's in:
  • Engels


Laatst bijgewerkt op April 15, 2018
Duur & Kosten
Deze cursus is Campus gesitueerd
Start Date
Startdatum
Nov. 2018
Duration
Duur
4 jaar
Voltijd
Locations
Italiƫ - L'Aquila, Abruzzen
Startdatum : Nov. 2018
Aanmeldingslimiet Vraag informatie aan
Einddatum Aug. 1, 2021
Dates
Nov. 2018
Italiƫ - L'Aquila, Abruzzen
Aanmeldingslimiet Vraag informatie aan
Einddatum Aug. 1, 2021