Doktorikraad Teaduses

GSSI - Gran Sasso Science Institute

Programmi kirjeldus

Loe ametlikku kirjeldust

Doktorikraad Teaduses

GSSI - Gran Sasso Science Institute

Tänapäevaste arvutisüsteemide põhimõtteline arendamine hõlmab diskreetsete ja pidevate nähtuste vaheliste koostoimete modelleerimist ja juhtimist, heterogeensete võrgustike tõhusat ja säästvat toimetulekut, võimalust pääseda potentsiaalselt piiramatutele riist- ja tarkvararessurssidele, ebakindluse käsitlemisele ja vajadusele töötada välja reaalajas tohutul hulgal andmeid. Meie juhtmõte on, et nende väljakutsetega tegelemine nõuab multidistsiplinaarsete teadmiste arendamist, mis peavad põhinema kindlal modelleerimisel ja mõistmisel. Seetõttu on meie Ph.D. uuringud on anda õpilastele võimalus arendada neid võimeid ja rakendada neid teadusuuringute väljakutseid infotehnoloogia. Selleks pakume oma kraadiõppuritele sissejuhatavaid kursusi, mis pakuvad vajalikku formaalset tausta ja erikursusi, mis tutvustavad õpilastele uusimaid arenguid reaaktiivsete süsteemide, tarkvaratehnika ning arvuti- ja sotsiaalsete võrgustike algoritmiliste aspektide valdkonnas.

Ph.D. programm koosneb 4-aastastest õpingutest ja teadustööst. Esimese aasta jooksul õpivad õpilased mitmeid kursusi, mis on struktureeritud kolmes põhialuses: (kaasaegsete) võrgustike alused, samaaegsete reaktiivsete süsteemide spetsifikatsioonid ja analüüsid ning tarkvara süsteemid ja teenused. Lisaks sisemistele GSSI kursustele julgustatakse õpilasi õppima ka suvekoolides või teistes Itaalia või välismaal asuvates asutustes. Iga õpilast palutakse koos doktorikraadi ette valmistada. koordinaator, uuringukava, mille teadusnõukogu kinnitab.

Teise aasta sissepääsu otsustamise peamised kriteeriumid on eksamite läbiviimine ja tööde ettepaneku kvaliteet (esitatud esimese aasta lõpus). Teine ja kolmas aasta on peamiselt pühendatud teadustöödele. Tema teadusuuringute arendamisel abistab iga õpilast juhendaja ja tema edusamme hindab tema doktoritööde komisjon, mis koosneb tema teaduslike huvide valdkonna ekspertidest. Õpilastel soovitatakse tungivalt osa oma uurimistöödest õppida välistes uurimislaborites Itaalias või välismaal.

Lisainfo Ph.D. programm on saadaval aadressil: href = "http://cs.gssi.infn.it/phd-program/information/

Komisjon

Lucia Aceto (Reykjavíki Ülikool, Island), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Pariisi Diderot, Prantsusmaa), Beniamino Di Martino (Campania Università della Campania L. Vanvitelli) ), Michele Flammini (õppetool, GSSI ja Università dell'Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley ja Simonsin teooriateaduste instituut, USA).

Gran Sasso teadusinstituut pakub 34 Ph.D. stipendiumid füüsikas, matemaatikas, infotehnoloogia ja sotsiaalteadustes.

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


Gran Sasso teadusinstituut (GSSI), mis asutati 2012. aastal L'Aquilas (Itaalia) kui tuumifüüsika riikliku instituudi (INFN) kõrgemate uuringute keskusesse (edaspidi "INFN") ja asutati seejärel 2016. aasta märtsis kõrgkoolides haridus, pakub 34 Ph.D. positsioonid 2018./19. õppeaastal.


GSSI ( www.gssi.it ) pakub taotlusi 10 stipendiumide kohta "Astroparticle Physics", 8 "Matemaatika loodus-, sotsiaal- ja eluteadustes", 8 "Arvutiteadus" ja 8 "Linnauuringud ja regionaalteadus". Kõigi Ph.D. ametlik keel kursused on inglise keel.


Stipendiumid antakse 4 aastaks ja nende aastane summa on 16,159,91 eurot bruto. Kõik Ph.D. üliõpilastel on vaba majutus GSSI rajatistes ja söökla kasutamine.


Taotlus tuleb esitada Interneti-vormi kaudu aadressil www.gssi.it/phd/ 20. juuniks 2018 kell 18.00 (Itaalia ajavöönd).


Lisateavet leiate aadressilt www.gssi.it/phd/ aadressil www.gssi.it/phd/ või kirjutage meile aadressil info@gssi.it.

Kursused infotehnoloogia


IMMIGRATSIOONI KURSUSED

  • Reaktiivsed süsteemid - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Tarkvarasüsteemid ja -teenused - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Algoritmide kujundamine ja analüüs - Mattia D'Emidio, Michele Flammini

PEAMISED KURSUSED

  • Reaktiivsete süsteemide modelleerimine ja kontrollimine - Luca Aceto, Rocco De Nicola
  • Modelleerimise kontrollimise põhimõtted - Michele Loreti
  • Performance Modeling - Mirco Tribastone

  • Abstraktsioon, modelleerimine ja arhitektuur - Patrizio Pelliccione
  • Tarkvara arhitektuur ja muud - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Tarkvara testimine ja töökindlus - Antonella Bertolino

  • Lähenemisalgoritmid - Gianlorenzo D'Angelo
  • Algsete keerukate võrkude projekteerimine ja analüüs - Mattia D'Emidio ja Pierluigi Crescenzi
  • Algoritmiline mängude teooria - Michele Flammini

TÄIELIKUD KURSUSED

  • Täpsem testimine - tööriistad ja metoodika - Lorenzo Bettini
  • Täiustatud tarkvara analüüs - Massimiliano Di Penta
  • Mitme perspektiiviga interaktsioonid - Christian Kästner
  • Ajastatud automaatidest kuni stokhastiliste hübriidmängudeni - Kim Guldstrand Larsen
  • Tarkvaratõendamine - Omar Inverso
  • Distributed Computing - Pierre Fraigniaud
See kool pakub järgmisi programme:
  • Inglise


Viimati uuendatud April 15, 2018
Kestvus ja hind
See kursus on Ülikoolilinnas
Start Date
Alguskuupäev
Nov. 2018
Duration
Kestvus
4 aastat
Täisajaga õpe
Locations
Itaalia - L'Aquila, Abruzzo
Alguskuupäev : Nov. 2018
Avalduste vastuvõtu lõppkuupäev Võta kooliga ühendust
Lõppkuupäev Aug. 1, 2021
Dates
Nov. 2018
Itaalia - L'Aquila, Abruzzo
Avalduste vastuvõtu lõppkuupäev Võta kooliga ühendust
Lõppkuupäev Aug. 1, 2021