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.