Concurso para a atribuição de 1 Bolsa(s) de Investigação para Licenciado - TEC4Growth - RL SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

O INESC TEC abre concurso para a atribuição de 1 Bolsa(s) de Investigação para Licenciado - 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 Projecto: 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

Deve-se candidatar ao Edital em causa no novo Website. Click no seguinte url: AE2017-0048