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.