PhD v oboru počítačových věd

GSSI - Gran Sasso Science Institute

Popis programu

Read the Official Description

PhD v oboru počítačových věd

GSSI - Gran Sasso Science Institute

Principiální vývoj moderních výpočetních systémů zahrnuje modelování a řízení interakcí mezi diskrétními a kontinuálními jevy, efektivní a udržitelná zvládnutí heterogenních sítí, možnost přístupu k potenciálně neomezeným hardwarovým a softwarovým zdrojům, zvládnutí nejistoty a potřebě vypracovat masivní množství dat v reálném čase. Je naším principem, že při plnění těchto úkolů je třeba vyvinout multidisciplinární znalosti, které musí být založeny na pevných schopnostech modelování a uvažování. Proto je hlavním cílem naší Ph.D. studií je poskytnout studentům příležitost rozvíjet tyto schopnosti a aplikovat je na výzvy výzkumu v informatice. Za tímto účelem nabízíme našim postgraduálním studentům úvodní kurzy, které poskytují potřebné formální zázemí a specializované kurzy, které představují studentům nejnovější vývoj v oblasti reaktivních systémů, softwarového inženýrství a algoritmických aspektů počítačových a sociálních sítí.

Ph.D. program sestává ze čtyř let studia a výzkumu. Během prvního ročníku studují studenti řadu kurzů strukturovaných ve třech hlavních pilířích: Základy (moderních) sítí, specifikace a analýza souběžných reaktivních systémů a softwarových systémů a služeb. Vedle interních kurzů GSSI jsou studenti povzbuzováni, aby absolvovali kurzy i na letních školách nebo v jiných institucích v Itálii nebo v zahraničí. Každý student je požádán, aby spolu s Ph.D. koordinátor, studijní plán schválený vědeckou radou.

Výkonnost ve zkouškách a kvalita návrhu práce (předložená na konci prvního ročníku) jsou hlavními kritérii pro rozhodnutí o přijetí do druhého ročníku. Druhý a třetí ročník je věnován především výzkumu. Při vývoji svého výzkumu je každému žákovi nápomocen supervizor a jeho průběh hodnotí výbor pro práci, který se skládá z odborníků v příslušné oblasti svých vědeckých zájmů. Studenti se důrazně vyzývají, aby strávili část svých výzkumných studií ve vnějších výzkumných laboratořích v Itálii nebo v zahraničí.

Další informace o Ph.D. program je k dispozici na adrese: href = "http://cs.gssi.infn.it/phd-program/information/

Výbor

Lucia Aceto (Islandská univerzita v Reykjaviku), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Université Paris Diderot, Francie), Beniamino Di Martino (Università della Campania "L. Vanvitelli" ), Michele Flammini (předsedkyně, GSSI a Università dell'Aquila), Paolo Prinetto (Politecnico di Torino), Luca Trevisan (UC Berkeley a Simons Institute for Theory of Computing, USA).

Institut vědy Gran Sasso nabízí 34 Ph.D. stipendia ve fyzice, matematice, informatice a společenských vědách.

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


Institut vědy Gran Sasso (GSSI), založený v roce 2012 v L'Aquila (Itálie) jako Centrum pro pokročilé studie Národního institutu pro jadernou fyziku (INFN) a poté založen v březnu roku 2016 jako škola pokročilých studií poskytující postgraduální vzdělání, nabízí 34 Ph.D. pro akademický rok 2018/19.


GSSI ( www.gssi.it ) vyzývá k žádosti o 10 stipendií v oboru "Astroparticle Physics", 8 v oboru "Matematika v přírodních, sociálních a biologických vědách", 8 v oboru "Informatika" a 8 v "Městských studiích a regionálních vědách". Úřední jazyk pro všechny Ph.D. kurzy jsou angličtina.


Stipendia se udělují na 4 roky a jejich roční částka činí 16,159,91 €. Všechny Ph.D. Studenti mají zdarma ubytování v zařízení GSSI a využití jídelny.


Žádost musí být předložena prostřednictvím elektronického formuláře, který je k dispozici na adrese www.gssi.it/phd/ do 20. června 2018 v 18:00 (italské časové pásmo).


Více informací naleznete na webové stránce www.gssi.it/phd/ nebo napište na info@gssi.it

Kurzy informatiky


IMMIGRAČNÍ KURZY

  • Reaktivní systémy - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Softwarové systémy a služby - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Návrh a analýza algoritmů - Mattia D'Emidio, Michele Flammini

ZÁKLADNÍ KURZY

  • Modelování a ověřování reaktivních systémů - Luca Aceto, Rocco De Nicola
  • Principy modelové kontroly - Michele Loreti
  • Modelování výkonu - Mirco Tribastone

  • Abstrakce, modelování a architektura - Patrizio Pelliccione
  • Software Architecture a další - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Testování a spolehlivost softwaru - Antonella Bertolino

  • Aproximační algoritmy - Gianlorenzo D'Angelo
  • Algoritmus inženýrství a analýza komplexních sítí - Mattia D'Emidio a Pierluigi Crescenzi
  • Teorie algoritmických her - Michele Flammini

POKROČILÉ KURZY

  • Pokročilé testování - Nástroje a metodologie - Lorenzo Bettini
  • Pokročilá softwarová analýza - Massimiliano Di Penta
  • Interakce funkcí z více perspektiv - Christian Kästner
  • Od časovaných automatů až po stochastické hybridní hry - Kim Guldstrand Larsen
  • Ověření softwaru - Omar Inverso
  • Distribuované výpočty - Pierre Fraigniaud
This school offers programs in:
  • Angličtina


Poslední aktualizace April 15, 2018
Doba a cena
This course is Studium v kampusu
Start Date
Datum začátku
Nov. 2018
Duration
Délka trvání
4 let
Denní studium
Information
Deadline
Locations
Itálie - L'Aquila, Abruzzo
Datum začátku : Nov. 2018
Termín odevzdání přihlášek Kontaktuj školu
Datum ukončení Srp. 1, 2021
Dates
Nov. 2018
Itálie - L'Aquila, Abruzzo
Termín odevzdání přihlášek Kontaktuj školu
Datum ukončení Srp. 1, 2021