O INESC TEC abre concurso para a atribuição de uma Bolsa de Investigação para Mestre.

Área de trabalho: Ciência de Computadores

Descrição do Trabalho:
– Avaliação do uso de técnicas SRL para aprendizagem de tipos em dados WEB
– Avaliação do Estado da Arte
– Enumeração de data sets
– Adaptação do sistema SRL à tarefa

Habilitações académicas: Mestrado em Ciência de Computadores ou Informática

Requisitos mínimos: Saber programar em Prolog e linguagem C

Fatores de preferência: Experiência em SRL

Referência: AE2018-0077 (ELVEN – CRACS)

Projeto: Elven – Lógicas para verificação de programas na Web

Duração da bolsa: de 2018-05-15 a 2018-11-14 ( 6 ) eventualmente renovável.

Valor mensal da bolsa: € 980,00 (Mestrado) conforme tabela de valores das bolsas atribuídas diretamente pela FCT , pago por transferência bancária, podendo o bolseiro auferir remunerações adicionais, pelo envolvimento em contratos ou projectos complementares que contribuam para o plano de trabalhos (Artºs 12º e 13º do Regulamento de Bolsas INESC TEC e Anexo II) em conformidade com o nº4 do Artº 5º do Estatuto do Bolseiro – Lei Nº 40/2004, de 18 de Agosto, até um limite máximo de 50% do valor mensal da bolsa.

Período de candidatura: De 2018-04-18 a 2018-05-03

Submissão de candidaturas: Preenchimento de formulário eletrónico em www.inesctec.pt na secção SEJA NOSSO COLABORADOR , anexando Curriculum Vitae, certificado de habilitações ou outros documentos comprovativos relevantes para a apreciação final

O Formulário de Candidatura ficará disponível durante o período de candidatura.