Doktorsexamen I Datavetenskap

GSSI - Gran Sasso Science Institute

Programbeskrivning

Läs den officiella beskrivningen

Doktorsexamen I Datavetenskap

GSSI - Gran Sasso Science Institute

Den principiella utvecklingen av moderna datorsystem innefattar modellering och hantering av interaktionerna mellan diskreta och kontinuerliga fenomen, hantering av heterogena nätverk effektivt och hållbart, möjligheten att få tillgång till potentiellt obegränsade hårdvaru- och programvaru resurser, hantering av osäkerhet och behovet av att utarbeta realtid massiva datamängder. Det är vår uppgift att möta dessa utmaningar kräver att man utvecklar en tvärvetenskaplig kunskap som måste grundas på fasta modellerings- och resonemangsfunktioner. Därför är huvudsyftet med vår doktorand studier är att ge studenterna möjlighet att utveckla dessa möjligheter och att tillämpa dem på forskningsutmaningar inom datavetenskap. För detta ändamål erbjuder vi våra introduktionskurser som ger den nödvändiga formella bakgrunden och specialkurser som introducerar studenter till de senaste utvecklingen inom områdena Reaktiva system, programvaruteknik och algoritmiska aspekter av dator- och sociala nätverk.

Ph.D. Programmet består av 4 års studier och forskning. Under det första året följer eleverna ett antal kurser som är strukturerade i tre huvudpelare: Grunden för (moderna) nätverk, specifikation och analys av samtidiga reaktiva system samt programvarusystem och tjänster. Bortsett från interna GSSI-kurser uppmanas studenterna att också ta kurs på sommarskolor eller vid andra institutioner i Italien eller utomlands. Varje elev är ombedd att förbereda, tillsammans med doktorsexamen samordnare, en studieplan som ska godkännas av Vetenskapsrådet.

Prestanda i tentamen och kvalitet på avhandlingsförslaget (lämnat i slutet av det första året) är de viktigaste kriterierna för beslut om tillträde till det andra året. Andra och tredje året är huvudsakligen tillägnad forskning. Vid utarbetandet av sin forskning bistås varje elev av en handledare och hans / hennes framsteg utvärderas av en avhandlingskommitté bestående av experter inom det relevanta området av sina vetenskapliga intressen. Studenter uppmanas kraftigt att tillbringa en del av sina studier i externa forskningslaboratorier i Italien eller utomlands.

Ytterligare information om doktorsexamen programmet finns på: href = "http://cs.gssi.infn.it/phd-program/information/

Utskott

Lucia Aceto (Reykjavik University, Island), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Université Paris Diderot, Frankrike), Beniamino Di Martino (Università della Campania "L. Vanvitelli" ), Michele Flammini (ordförande, GSSI och Università dell'Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley och Simons Institute for Theory of Computing, USA).

Gran Sasso Science Institute erbjuder 34 Ph.D. stipendier i fysik, matematik, datavetenskap och samhällsvetenskap.

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


Gran Sasso Science Institute (GSSI) grundades 2012 i L'Aquila (Italien) som Centrum för avancerade studier vid Nationella institutet för kärnfysik (INFN) och inrättades därefter i mars 2016 som en högskolestudium som ger forskarutbildning utbildning, erbjuder 34 Ph.D. ställning för läsåret 2018/19.


GSSI ( www.gssi.it ) inbjuder ansökningar om 10 stipendier i "Astroparticle Physics", 8 i "Matematik i natur-, samhälls- och livsvetenskaper", 8 i "Datavetenskap" och 8 i "Urban Studies and Regional Science". Det officiella språket för alla doktorander kurser är engelska.


Stipendierna tilldelas för 4 år och deras årliga belopp är 16.159,91 euro brutto. Alla doktorander Studenterna har gratis boende på GSSI-anläggningarna och användning av matsalen.


Ansökan ska lämnas in via onlineformuläret tillgängligt på www.gssi.it/phd/ senast den 20 juni 2018, klockan 18.00 (italiensk tidzon).


Mer information finns i Call for Applications på www.gssi.it/phd/ eller skriv ett mail till info@gssi.it

Kurser Datavetenskap


IMMIGRATIONSKURSER

  • Reaktiva system - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Programvarusystem och tjänster - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Design och analys av algoritmer - Mattia D'Emidio, Michele Flammini

KÄRNKURSER

  • Modellering och verifiering av reaktiva system - Luca Aceto, Rocco De Nicola
  • Principer för modellkontroll - Michele Loreti
  • Prestandamodellering - Mirco Tribastone

  • Abstraktion, modellering och arkitektur - Patrizio Pelliccione
  • Programarkitektur och bortom - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Programmering och pålitlighet - Antonella Bertolino

  • Approximation Algorithms - Gianlorenzo D'Angelo
  • Algoritmteknik och analys av komplexa nätverk - Mattia D'Emidio och Pierluigi Crescenzi
  • Algoritmisk spelteori - Michele Flammini

AVANCERADE KURSER

  • Avancerad testning - Verktyg och metoder - Lorenzo Bettini
  • Advanced Software Analytics - Massimiliano Di Penta
  • Funktionsinteraktioner från flera perspektiv - Christian Kästner
  • Från Timed Automata till Stochastic Hybrid Games - Kim Guldstrand Larsen
  • Programvaruverifiering - Omar Inverso
  • Distribuerad dator - Pierre Fraigniaud
Denna skola erbjuder program i:
  • Engelska


Senast uppdaterad April 15, 2018
Varaktighet & Pris
Denna kurs är På campus
Start Date
Startdatum
Nov. 2018
Duration
Varaktighet
4 år
Heltid
Information
Deadline
Locations
Italien - L'Aquila, Abruzzo
Startdatum : Nov. 2018
Sista anmälningsdag Kontakt Skolan
Slutdatum Aug. 1, 2021
Dates
Nov. 2018
Italien - L'Aquila, Abruzzo
Sista anmälningsdag Kontakt Skolan
Slutdatum Aug. 1, 2021