Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Ata de reunião de Júri Consultar edital
Oportunidade Investigação

Engenharia de Software

[Fechado]

Descrição da Oportunidade

Esta bolsa complementa a formação tipicamente oferecida nos cursos de engenharia informática, ciências da computação, ou afins, possibilitando ao bolseiro realizar um projeto (ou dissertação de mestrado) que lhe permitirá solidificar os conhecimentos na área dos métodos formais para a engenharia de software. Em particular, o bolseiro irá desenvolver o seguinte plano de trabalhos e formação: - identificar uma técnica de análise de código ROS orientada a modelos previamente desenvolvida no projeto cuja eficiência não permita a sua aplicação em sistemas realistas, nomeadamente sistemas com grande variabilidade; - identificar e analisar trabalho relacionado relevante; - especificar e implementar uma nova versão dessa técnica na ferramenta HAROS; - avaliar a eficácia da referida técnica através da sua aplicação ao software de um sistema robótica realista; - escrever o relatório de atividades da bolsa.

Habilitações Académicas

licenciado em engenharia informática, ciências da computação, ou área afim

Fatores de Preferência

- experiência com o Robot Operating System; - conhecimentos de métodos formais.

Período de candidatura

Desde 24 Nov 2020 a 09 Dec 2020

[Fechado]

Cluster / Centro

Informática / Laboratório de Software Confiável

Orientador

Alcino Cunha