Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de uma das plataformas de especificação e análise mais utilizadas para a análise formal de designs nas fases iniciais do desenvolvimento de software.
11 maio 2022
O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores do INESC TEC, e André Santos, engenheiro do CoLAB VORTEX, foi o vencedor do prémio Best Paper Award na 17ª edição da conferência internacional ENASE – Conference on Evaluation of Novel Approaches to Software Engineering.
05 maio 2022
“Preparar o futuro. Conhecer o presente.” Foi com este lema que a Mostra da Universidade do Porto (U.Porto) se apresentou para a sua 19ª edição, que decorreu entre os dias 21 e 24 de abril, no Pavilhão Multiusos de Gondomar, e contou com a participação do INESC TEC.
29 abril 2022
O INESC TEC integrou a 6G Smart Networks and Services Industry Association (6G-IA), porta-voz da indústria e investigação europeia para as redes e serviços de telecomunicações de próxima geração e que pretende contribuir para a liderança da Europa na investigação 5G, pós-5G e 6G.
28 abril 2022
O Chefe do Estado-Maior da Armada (CEMA), o Almirante Henrique Gouveia e Melo, visitou o INESC TEC no dia 7 de abril. A visita teve como objetivo apresentar ao CEMA o contributo do Instituto para o crescimento sustentável da Economia do Mar, em particular, o trabalho de investigação, desenvolvimento, testes e validação de Tecnologias Oceânicas, assim como explorar possibilidades de cooperação. O programa incluiu também uma passagem pelo “Mar Profundo”, o navio de apoio à investigação multidisciplinar no Mar.
28 abril 2022
Realizou-se, no dia 13 de abril, a primeira Reunião Ordinária do Conselho Geral do INESC TEC de 2022, que contou com a presença das cinco instituições associadas do INESC TEC, bem como o seu Conselho de Administração.
28 abril 2022
Candidaturas até 17 de MAIO.
19 abril 2022
A conferência ENSICO trouxe a debate a importância de introduzir o pensamento computacional no ensino obrigatório em Portugal. Este evento decorreu no dia 25 de março, na Faculdade de Engenharia da Universidade do Porto (FEUP), e contou com a participação de investigadores do INESC TEC, bem como especialistas mundiais em educação e computação.
12 abril 2022
O INESC TEC deslocou-se à ilha de São Jorge, nos Açores, para se juntar à comunidade científica na monitorização da atual situação sismo-vulcânica. Durante a visita, os investigadores procuraram obter informação que pudesse aumentar a confiança relativamente a possíveis cenários, e fornecer dados para as autoridades encarregues da gestão do risco e proteção civil nos Açores. Os principais parâmetros monitorizados são o gás radão e a radiação gama na ilha.
11 abril 2022
O Clean Energy for EU Island Secretariat vai realizar nos dias 28 e 29 de abril, na Madeira, a Academia de Energia, destinada às ilhas portuguesas. Com este evento, a equipa do Secretariado, em conjunto com a RdA Climate Solutions e o Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC), pretendem apoiar os habitantes das ilhas a selecionar, avaliar, executar e comunicar os seus projetos de transição energética.
08 abril 2022
A investigadora do INESC TEC e aluna do Programa Doutoral em Engenharia Biomédica da FEUP Elodie Lopes recebeu o Prémio para a melhor apresentação oral no âmbito do 34º Encontro Nacional de Epileptologia, que decorreu nos dias 11 e 12 de março, na Fundação Engenheiro António de Almeida, no Porto, e que reuniu toda a comunidade científica e médica desta área da Neurologia.
07 abril 2022
Foi entre os dias 31 de março e 1 de abril que decorreu mais uma edição do Open Day CTM, uma iniciativa anual promovida pelo Centro de Telecomunicações e Multimédia (CTM) do INESC TEC, com o objetivo de dar a conhecer a variedade e a qualidade do trabalho técnico e científico desenvolvido pelo Centro e pelos seus colaboradores.
07 abril 2022
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.