O INESC TEC abre concurso para a atribuição de 1 Bolsa de Investigação para Mestre – Elven – Lógicas para verificação de programas na Web. Área de trabalho: Ciência de Computadores. Habilitações académicas: M.Sc. em Ciências de Computadores ou área afim. Requisitos mínimos: Boa capacidade escrita e oral na língua inglesa., Conhecimento de algoritmos de programação lógica indutiva., Algum conhecimento sobre Data Mining e algoritmos para data mining.
Referência: AE2017-0302 (ELVEN – CRACS)
Nome do Projeto: ELVEN
Valor Mensal de Referência: €980,00
Período de Candidatura: 2017-11-23 até 2017-12-07
Edital: clique aqui para ver o ficheiro
O Formulário de Candidatura ficará disponível durante o período de candidatura.