Encontra-se aberto concurso para a atribuição de uma bolsa de pós-doutoramento na unidade de investigação CISTER/INESC-TEC, no âmbito do projeto VIPCORE.
Destinada a doutorados em ciências dos computadores, a bolsa prevê o desenvolvimento de metodologias de verificação para a composição temporal de sistemas baseados em componentes hierárquicos.
Candidaturas entre 26 de abril – 10 de maio de 2013.
Instituto Superior de Engenharia do Porto