Read the Official Description

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
Program taught in:
Inglise

See 3 more programs offered by GSSI - Gran Sasso Science Institute »

Last updated April 15, 2018
See kursus on Campus based
Start Date
Nov. 2019
Duration
4 aastat
Päevane õpe
By locations
By date
Start Date
Nov. 2019
End Date
Aug. 1, 2021
Application deadline

Nov. 2019

Location
Application deadline
End Date
Aug. 1, 2021