Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Consultar edital
Oportunidade Investigação

Informática

Descrição da Oportunidade

A crescente adoção de manipuladores móveis autónomos em ambientes industriais desloca para o software a responsabilidade por decisões que antes eram locais e determinísticas: a coordenação da frota, a atribuição de missões e a sincronização com os sistemas de gestão da produção. Passam a depender de componentes distribuídos e da rede que os liga. Quando esses componentes assentam sobre comunicações 5G, ganham latência baixa e cobertura alargada, mas herdam também os modos de falha de uma infraestrutura partilhada e fora do controlo direto da fábrica. Neste contexto, a indisponibilidade de um gestor de tarefas, a perda de estado de uma missão em curso ou uma interrupção momentânea da ligação podem ter consequências diretas na linha de produção e/ou originar incoerência no sistema. Garantir tolerância a faltas nestes sistemas deverá ser um requisito operacional: que os dados críticos sobrevivam a falhas e que os serviços essenciais recuperem sem intervenção humana e numa janela de tempo compatível com o a operação. - Revisão do estado da arte em tolerância a faltas aplicada a sistemas industriais distribuídos, com particular atenção a contextos de comunicação por redes 5G. - Levantamento e análise dos requisitos de resiliência e de continuidade operacional dos componentes críticos do sistema, nomeadamente o Task Manager e o Production Manager. - Identificação e caracterização dos modos de falha relevantes, incluindo falha de componente, falha de comunicação e indisponibilidade parcial da infraestrutura 5G. - Desenho de mecanismos de tolerância a faltas ao nível dos dados, com recurso a técnicas de replicação, garantindo a persistência e a integridade dos dados críticos. - Desenho de mecanismos de tolerância a faltas ao nível dos serviços, incluindo monitorização de estado, deteção de falhas e re-instanciação automática de componentes. - Elaboração de documentação técnica e contributo para os relatórios e entregáveis do projeto, bem como para eventuais publicações científicas.

Habilitações Académicas

- Licenciado em Engenharia Informática, Ciências da Computação ou área afim.

Requisitos Mínimos

- Aproveitamento, com classificação igual ou superior a 15 valores (numa escala de 0 a 20), em unidade curricular na área de tolerância a faltas ou tolerância a intrusões, ou em unidade curricular de sistemas distribuídos com componente demonstrável nestes temas.- Conhecimentos de sistemas de gestão de bases de dados.- Conhecimentos de mecanismos de replicação de dados e acordo distribuído.- Domínio da língua inglesa, escrita e falada.

Fatores de Preferência

- Experiência prática com mecanismos de replicação de dados e acordo distribuído. - Experiência com containers e orquestração (Docker, Kubernetes) e com monitorização de serviços. - Experiência com metodologias de injeção de falhas e avaliação experimental de sistemas. - Familiaridade com o Robot Operating System (ROS) - Familiaridade com protocolos de comunicação industrial.

Período de candidatura

Desde 13 Aug 2026 a 26 Aug 2026

Centro

Laboratório de Software Confiável