Verificação de Programas
[Fechado]
Descrição da Oportunidade
Esta bolsa enquadra-se no projeto SAFER (Verificação de Segurança para Software Robótico), mais específicamente na Tarefa 4 do projeto: desenvolver técnicas para análise do comportamento de código de nós de computação de Robot Operating System (ROS), sendo o bolseiro responsável por investigar a viabilidade de utilizar ferramentas de verificação dedutiva e verificação de modelos na análise de código de um nó crítico para a segurança de execução de um robô realista.
Habilitações Académicas
Mestrado em Engenharia Informática
Perfil Requerido
Conhecimentos de métodos formais, nomeadamente em verificação de software por métodos dedutivos ou com base em modelos
Fator de preferência
Experiência na utilização de ferramentas de verificação dedutiva e verificação por modelos para verificação de programas em C++.
Período de candidatura
Desde 21 Feb 2019 a 07 Mar 2019
[Fechado]
Cluster / Centro
Informática / Laboratório de Software Confiável