Área da Computação para Sistemas Embebidos e Ciberfísicos
[Brevemente]
Descrição da Oportunidade
O candidato selecionado será integrado na equipa do INESC TEC na área de Computação para Sistemas Embebidos e Ciber-físicos. Os membros desta equipa possuem mais de 25 anos de experiência em investigação no domínio de sistemas embebidos e ciberfísicos, com uma vasta gama de atividades nacionais e internacionais. No laboratório, o Doutorando contratado será responsável por promover atividades de investigação e desenvolvimento no domínio dos sistemas de computação embebida, desenvolvendo o tópico de investigação em software/hardware para plataformas de computação avançadas para sistemas autónomos. As principais atividades do investigador contratado incluirão a promoção de trabalhos de investigação que avancem o estado da arte na aplicação das tecnologias emergentes dos sistemas embebidos em plataformas de computação avançadas para sistemas autónomos, trabalhando em colaboração com outros professores e investigadores, supervisionando teses de doutoramento e mestrado de estudantes, e colaborando com parceiros da indústria para aplicar os avanços científicos em aplicações do mundo real que abordem desafios sociais atuais e futuros. Perfil Científico: Será exigido que o candidato tenha um perfil científico alinhado com esta área de investigação e suas aplicações, suportado por publicações reconhecidas, e preferencialmente com experiência anterior na preparação e liderança de atividades de financiamento externo, e ensino a nível de mestrado e doutoramento. Fundamentação: Os sistemas embebidos estão hoje omnipresentes no nosso ambiente, com aplicações tão diversas como smartwatches e sistemas autónomos para automóveis, sistemas de qualidade do ar e controlo de geração de energia renovável. O seu desenvolvimento passou do desenvolvimento em pequena escala de dispositivos isolados de monitorização e controlo para o desenvolvimento de sistemas complexos, conectados e sistemas de sistemas, integrando hardware, software, controlo e processos físicos. A emergência do conceito de Sistemas Ciberfísicos é um reconhecimento da inter-relação entre o mundo computacional e o físico, sendo uma parte fundamental das aplicações inteligentes em domínios como manufatura, cidades inteligentes, comunidades energéticas, transportes ou saúde. No entanto, o aumento da complexidade dos sistemas (e dos sistemas de sistemas), os requisitos desafiadores de alto desempenho dos sistemas autónomos, as exigências de fiabilidade e cibersegurança dos sistemas ciberfísicos, etc., estão a desafiar a forma como os sistemas de computação embebida são desenvolvidos. O software evoluiu de aplicações centralizadas e autocontidas para componentes inteligentes distribuídos, o que exige middleware e runtimes inovadores, bem como novas e melhores abordagens de desenvolvimento. As arquiteturas de processadores evoluíram de single-core para multi e many-core, incluindo dispositivos aceleradores heterogéneos como GPUs, DSPs ou FPGAs, exigindo que o software lide com computação concorrente e paralela síncrona e assíncrona. A emergência de sistemas autónomos conectados introduziu a necessidade de desenvolver software para um continuum de computação que inclui computação em dispositivos altamente heterogéneos, desde pequenas plataformas IoT até à Coluda, mas dentro de um único ecossistema de software. E, finalmente, a emergência da IA na fronteira (Edge AI), onde os componentes de IA são considerados não apenas nas aplicações que executam na Edge (AI on Edge), mas também, e de forma igualmente desafiadora, como facilitadores de uma gestão de Edge mais flexível e eficiente (AI for Edge). A infraestrutura embebida precisa de se tornar inteligente para suportar aplicações inteligentes, ao mesmo tempo que cumpre requisitos como tempo real, segurança (security&safety), utilizando plataformas de hardware e frameworks de software avançados. Este tópico de investigação aborda diretamente os Desafios Globais e o Pilar de Competitividade Industrial Europeia do programa Horizon Europe. Em particular, os tópicos de investigação abordam diretamente várias áreas do Cluster Digital, Indústria e Espaço, especificamente Tecnologias Digitais Chave, computação avançada e internet de próxima geração. De facto, a importância das atividades para Sistemas Ciberfísicos é amplamente reconhecida, sendo uma parte importante da CHIPS JU Joint Undertaking, a Parceria Público-Privada Europeia para investigação, desenvolvimento e inovação (https://www.chips-ju.europa.eu/), e da sua Agenda Estratégica de investigação e Inovação (https://ecssria.eu/), nas quais os investigadores do INESC TEC estão ativamente envolvidos. Devido aos desafios técnicos e domínios de aplicação, as atividades também estão alinhadas com a Agenda para o Desenvolvimento Sustentável, em particular a busca por sistemas de computação mais eficientes e fiáveis, capazes de otimizar aplicações inteligentes nos domínios visados, estando diretamente relacionadas com o ODS #9 (infraestruturas resilientes, promover a inovação), mas também #11 (cidades seguras, resilientes e sustentáveis) e #7 (energia fiável, sustentável e moderna).
Habilitações Académicas
Ao concurso podem candidatar-se os nacionais, estrangeiros(as) e apátridas que sejam titulares do grau de doutor(a) em Engenharia Informática, Engenharia Eletrotécnica e Computadores, ou área científica afim e detentores(as) de um currículo científico e profissional que revele um perfil adequado à categoria de equiparado a Investigador Auxiliar e à posição com a referência 2023.14760.TENURE.006, acima descrita.
Período de candidatura
Desde 14 Jul 2025 a 30 Aug 2025
[Brevemente]
Centro
Computação Centrada no Humano e Ciência da Informação