INESC TEC (Portugal) oferece bolsa a jovens pesquisadores

O INESC TEC (Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência), localizado no Porto, Portugal, informa que está recrutando jovens pesquisadores com os perfis listados abaixo. As regras e informações sobre cada oportunidade estão disponíveis em cada um dos links. Para conhecer mais sobre a instituição, visite www.inesctec.pt.

AE2016-0297 (CORAL-TOOLS-5 - LIAAD) Descrição do Trabalho: A bolsa destina-se a fazer investigação no contexto do projeto CORAL, ligada ao desenvolvimento de modelos de análise de dados espaço-temporais obtidos nos oceanos. Concretamente o trabalho centra-se em tarefas de pré-processamento, visualização e sumarização, bem como previsão, dos dados disponíveis

AE2016-0298 (NanoStima-RL4-2 - LIAAD) Descrição do Trabalho: Extração de conhecimento relativo aos efeitos adversas de fármacos, a partir de texto pré e pós episódio clínico.

AE2016-0299 (INESC TEC LA - HASLAB) Descrição do Trabalho: O principal objetivo é ir além do estado da arte em termos de segurança de dados na nuvem e oferecer soluções inovadoras que aumentam a confiança do utilizador em tais ambientes. Neste contexto, é o objetivo do presente trabalho para avaliar a possibilidade de estender a tecnologia SafeCloud a outras aplicações de nível de utilizador, como aplicações de sincronização de documentos
digitais.

AE2016-0300 (INESC TEC LA - HASLAB) Descrição do Trabalho: O principal objetivo é ir além do estado da arte em termos de segurança de dados na nuvem e oferecer soluções inovadoras que aumentam a confiança do utilizador em tais ambientes. Neste contexto, é o objetivo do presente trabalho para avaliar a possibilidade de estender a tecnologia SafeCloud a outras aplicações de nível de utilizador, como aplicações de sincronização de documentos
digitais

AE2016-0301 (INESC TEC LA - LIAAD) Descrição do Trabalho: Detectar grandes variações de um sinal de espaço-temporal multivariado. Diversas aplicações requerem a detecção de mudanças bruscas no espaço e no tempo. Por exemplo, a detecção de engarrafamentos através de sinais de GPS, detectando aumento abrupto de pessoas, numa praça de uma cidade em particular através de telefone celular, etc. O objetivo é desenvolver algoritmos de fluxo
contínuo para detectar alterações bruscas através de sinais de GPS e de GSM

AE2016-0302 (SMILES-3 - CRACS) Descrição do Trabalho: Contribuir para a concepção e implementação de componentes de middleware para suporte de edge-clouds sobre sistemas móveis distribuídos

AE2016-0303 (SMILES-3 - CRACS) Descrição do Trabalho: O objetivo é estabelecer a correção de middleware para sistemas distribuídos móveis através de técnicas de modelação e verificação formal. A ideia é obter um modelo de um cenário aplicacional ou um registro de uma simulação/execução e verificar a sua correção, expressa como uma propriedade do tipo "nada de "mal" acontece" ou "algo de "bom" acontece eventualmente".

AE2016-0304 (CORAL-SENSORS - CAP)
Descrição do Trabalho: O projeto tem como objetivo o desenho, teste e implementação de um sistema cavidade ressoante para detecção remota. As tarefas a realizar incluem a especificação de parâmetros, desenho e implementação experimental do sistema. O sistema será caracterizado com/sem amplificação, usando 50 km de fibra ótica.


AE2016-0305 (WI-GREEN - CTM) Descrição do Trabalho: O trabalho do bolseiro encontra-se inserido numa linha de I&D cujo tema se relaciona com as comunicações "verdes", tendo como objetivo principal desenvolver tecnologia que reduza o consumo energético das redes Wi-Fi no contexto da Internet do Futuro. Os aspectos científico-tecnológicos envolvidos focam-se na conceitualização, desenvolvimento, simulação e teste de novas soluções
de gestão de consumo energético Wi-Fi.

AE2016-0306 (CORAL-TOOLS - CTM) Descrição do Trabalho: O trabalho do bolseiro encontra-se inserido numa linha de I&D cujo tema se relaciona com redes sem fios e envolve tecnologias nos níveis OSI 2 e 3, tendo como objetivo desenvolver tecnologia que venha a permitir comunicações sem fios de banda larga em ambiente marítimo, quer à superfície quer debaixo de água. Os aspectos científico-tecnológicos envolvidos focam-se na especificação,
simulação e teste de novas soluções

AE2016-0307 (MareCom - CTM) Descrição do Trabalho: O trabalho do bolseiro encontra-se inserido numa linha de I&D cujo tema se relaciona com redes sem fios e envolve tecnologias nos níveis OSI 2 e 3, tendo como objetivo desenvolver tecnologia que venha a permitir comunicações sem fios de banda larga terra-mar para embarcações, em alternativa às comunicações satélite. Os aspectos científico-tecnológicos envolvidos focam-se na especificação, implementação, prototipagem e teste de novas soluções.

AE2016-0308 (INESC TEC LA - CSIG) Descrição do Trabalho: Os ambientes virtuais estão a tornar-se numa peça importante nas aplicações centradas no utilizador, onde se inclui o treino, design, entretenimento, etc. No entanto, estes sistemas recorrem, normalmente, ao estímulo de dois únicos sentidos: a visão e a audição. O INESC TEC criou um Laboratório de Realidade Virtual, no qual são desenvolvidas atividades de investigação neste domínio

AE2016-0309 (Smart_Farming - LIAAD) Descrição do Trabalho: O bolseiro deverá estudar, aplicar e desenvolver um conjunto de algoritmos evolutivos e técnicas que permitam processar dados recolhidos (e.g., por sensores) numa exploração agrícola. Em particular, desenvolver modelos adaptativos que permitem modelar as necessidades de rega. O trabalho a desenvolver pelo bolseiro está inserido num conjunto de atividades do projeto Smart Farming
- Ferramenta avançada para operacionalização da agricultura de precisão

AE2016-0310 (Smart_Farming - LIAAD)
Descrição do Trabalho: O bolseiro deverá estudar, aplicar e desenvolver um conjunto de algoritmos evolutivos e técnicas que permitam processar dados recolhidos (e.g., por sensores) numa exploração agrícola. Em particular, desenvolver modelos adaptativos que permitem modelar as necessidades de rega. O trabalho a desenvolver pelo bolseiro está inserido num conjunto de atividades do projeto Smart Farming - Ferramenta avançada para operacionalização da agricultura de precisão.

AE2016-0311 (INESC TEC LA - CEGI) Descrição do Trabalho: Desenvolvimento de algoritmos para Resource Constrainted Project Scheduling Problems (RCPSP), baseados no estado da arte em métodos de pesquisa em árvore para problemas específicos de otimização combinatória, em particular variantes com ênfase na obtenção rápida de boas soluções - como alternativas às meteheurísticas, apresentando a vantagem de conseguirem provar a
otimalidade em instâncias mais fáceis/pequenas.

AE2016-0315 (INESC TEC LA - CPES)  Descrição do Trabalho: Desenvolvimentos em eletrônica de potência para gestão de energia doméstica e suporte à operação de redes.
elétricas