Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Verificação de Programas (PT)

[Closed]

Work description

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.

Academic Qualifications

Mestrado em Engenharia Informática

Minimum profile required

Conhecimentos de métodos formais, nomeadamente em verificação de software por métodos dedutivos ou com base em modelos

Preference factors

Experiência na utilização de ferramentas de verificação dedutiva e verificação por modelos para verificação de programas em C++.

Application Period

Since 21 Feb 2019 to 07 Mar 2019

[Closed]

Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

Jorge Sousa Pinto