PhD em Ciências da Computação

GSSI - Gran Sasso Science Institute

Descrição do Programa

Leia a descrição oficial

PhD em Ciências da Computação

GSSI - Gran Sasso Science Institute

O desenvolvimento de princípios dos sistemas de computação modernos envolve a modelagem e gerenciamento das interações entre fenômenos discretos e contínuos, lidando com redes heterogêneas de maneira eficiente e sustentável, a possibilidade de acessar recursos de hardware e software potencialmente ilimitados, o tratamento da incerteza e a necessidade de elaborar quantidades enormes de dados em tempo real. É nosso princípio que enfrentar esses desafios exige que se desenvolva um conhecimento multidisciplinar que deve ser fundamentado em capacidades de modelagem e raciocínio firmes. Portanto, o principal objetivo do nosso Ph.D. O objetivo dos estudos é proporcionar aos alunos a oportunidade de desenvolver essas capacidades e aplicá-las aos desafios de pesquisa em Ciência da Computação. Para isso, oferecemos aos nossos alunos cursos introdutórios de pós-graduação que fornecem a formação formal necessária e cursos especializados que apresentam aos alunos os mais recentes desenvolvimentos nas áreas de Sistemas Reativos, Engenharia de Software e Aspectos Algorítmicos de Redes de Computadores e Redes Sociais.

O Ph.D. programa consiste em 4 anos de estudo e pesquisa. Durante o primeiro ano, os alunos seguem uma série de cursos estruturados em três pilares principais: Fundações de Redes (Modernas), Especificação e Análise de Sistemas Reativos Concorrentes e Sistemas e Serviços de Software. Além dos cursos internos da GSSI, os alunos são incentivados a ter aulas também em escolas de verão ou em outras instituições na Itália ou no exterior. Cada aluno é convidado a preparar, juntamente com o Ph.D. coordenador, um plano de estudos a ser aprovado pelo Conselho Científico.

O desempenho nos exames e a qualidade da proposta de tese (apresentada no final do primeiro ano) são os principais critérios para decidir a admissão no segundo ano. O segundo e terceiro anos são dedicados principalmente à pesquisa. No desenvolvimento de sua pesquisa, cada aluno é assistido por um supervisor e seu progresso é avaliado por um comitê de tese composto por especialistas na área relevante de seus interesses científicos. Os estudantes são fortemente encorajados a gastar parte de suas pesquisas em laboratórios externos de pesquisa na Itália ou no exterior.

Mais informações sobre o Ph.D. programa está disponível em: href = "http://cs.gssi.infn.it/phd-program/information/

Comitê

Luca Aceto (Universidade de Reykjavik, Islândia), Antonia Bertolino (ISTI-CNR, Pisa), Gianlorenzo D'Angelo (GSSI), Roberto Di Cosmo (Universidade Paris Diderot, França), Beniamino Di Martino (Università della Campania “L. Vanvitelli” ), Michele Flammini (Presidente, GSSI e Università dell'Aquila), Paolo Prinetto (Politécnico de Turim), Luca Trevisan (UC Berkeley e Instituto Simons para a Teoria da Computação, EUA).

O Gran Sasso Science Institute oferece 34 Ph.D. Bolsas de Física, Matemática, Ciências da Computação e Ciências Sociais.

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


O Instituto de Ciência Gran Sasso (GSSI), fundado em 2012 em L'Aquila (Itália) como Centro de Estudos Avançados do Instituto Nacional de Física Nuclear (INFN) e estabelecido em março de 2016 como uma Escola de Estudos Avançados que oferece pós-graduação. educação, oferece 34 Ph.D. posições para o ano letivo de 2018/19.


O GSSI ( www.gssi.it ) convida para 10 bolsas de estudo em “Física de Astropartículas”, 8 em “Matemática em Ciências Naturais, Sociais e da Vida”, 8 em “Ciência da Computação” e 8 em “Estudos Urbanos e Ciências Regionais”. A língua oficial para todos os Ph.D. cursos é o inglês.


As bolsas são concedidas por 4 anos e seu valor anual é de € 16.159,91 brutos. Todos Ph.D. os alunos têm acomodação gratuita nas instalações do GSSI e uso da cantina.


O pedido deve ser submetido através do formulário on-line disponível em www.gssi.it/phd/ até 20 de junho de 2018, às 18h00 (fuso horário italiano).


Para mais informações, por favor, consulte o Call for Applications em www.gssi.it/phd/ ou escreva um email para info@gssi.it

Cursos Ciência da Computação


CURSOS DE IMIGRAÇÃO

  • Sistemas reativos - Luca Aceto, Rocco De Nicola, Catia Trubiani
  • Sistemas e serviços de software - Ludovico Iovino, Ivano Malavolta, Paola Inverardi
  • Design e Análise de Algoritmos - Mattia D'Emidio, Michele Flammini

CURSOS BÁSICOS

  • Modelagem e Verificação de Sistemas Reativos - Luca Aceto, Rocco De Nicola
  • Princípios da Verificação de Modelos - Michele Loreti
  • Modelagem de Performance - Mirco Tribastone

  • Abstração, modelagem e arquitetura - Patrizio Pelliccione
  • Arquitetura de software e além - Paola Inverardi, Massimo Tivoli, Marco Autili
  • Teste de Software e Confiabilidade - Antonella Bertolino

  • Algoritmos de Aproximação - Gianlorenzo D'Angelo
  • Engenharia de Algoritmos e Análise de Redes Complexas - Mattia D'Emidio e Pierluigi Crescenzi
  • Teoria algorítmica dos jogos - Michele Flammini

CURSOS AVANÇADOS

  • Teste Avançado - Ferramentas e metodologias - Lorenzo Bettini
  • Análise avançada de software - Massimiliano Di Penta
  • Interações de recurso de múltiplas perspectivas - Christian Kästner
  • De autômatos cronometrados a jogos híbridos estocásticos - Kim Guldstrand Larsen
  • Verificação de Software - Omar Inverso
  • Computação Distribuída - Pierre Fraigniaud
Esta escola oferece programas em:
  • Inglês


Última actualização April 15, 2018
Duração e Preço
Este curso é No campus
Start Date
Data inicial
Nov. 2019
Duration
Duração
4 anos
Tempo integral
Information
Deadline
Locations
Itália - L'Aquila, Abruzzo
Data inicial : Nov. 2019
Prazo de inscrição Contactar Escola
Data de conclusão Agosto 1, 2021
Dates
Nov. 2019
Itália - L'Aquila, Abruzzo
Prazo de inscrição Contactar Escola
Data de conclusão Agosto 1, 2021