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