Bolsa INESC TEC na área de Criptografia e Segurança

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

Submeter Candidatura