O INESC TEC abre concurso para a atribuição de uma Bolsa de Investigação para Licenciado no âmbito do projeto “TEC4Growth – RL SMILES – Smart, Mobile, Intelligent and Large scale Sensing and analytics”.
Área de trabalho: Criptografia e Segurança.
Habilitações académicas: Licenciatura em Informática ou Matemática (ou equivalente). Requisitos mínimos: Licenciatura em Informática ou Matemática (ou equivalente). Fatores de preferência: Formação/conhecimentos em teoria de números. Conhecimento/experiência de utilização de sistemas para verificação formal de software, e em particular nos sistemas de verificação formal referidos.
Referência: AE2017-0048 (SMILES – HASLAB)
Nome do Projeto: TEC4Growth – RL SMILES – Smart, Mobile, Intelligent and Large scale Sensing and analytics
Valor Mensal de Referência: €745,00
Período de Candidatura: 2017-03-08 até 2017-03-21
Edital: clique aqui para ver o ficheiro