O portfólio atual das aplicações móveis e na nuvem revela um crescimento exponencial na utilização de aprendizagem automática avançada, computação em nuvem e inteligência artificial, recorrendo a recursos computacionais massivos e exigindo taxas de transferência de dados extremamente elevadas e fiáveis, incluindo ligações de curta distância, como interconexões chip-a-chip. Neste contexto, a adoção de uma abordagem Serializer/Deserializer (SerDes) justifica-se pela necessidade de transmitir dados através de um número reduzido de pinos, quando comparado com uma arquitetura de comunicação totalmente paralela. O projeto FRONT tem o objectivo principal de projectar circuitos analógicos e mistos integrados em nanoeletrónica (CMOS planar 28nm e finFET 16nm) para aplicações de Rádio Frequência. Serão abordados a modelação avançada de dispositivos, simulação e otimização de circuitos e questões físicas associadas ao projecto em tecnologia FinFET avançada. Embora o demonstrador final do projeto seja para SerDes, a inovação proposta pode ser aplicada a sistemas de comunicação de alta frequência (5G e 6G) com taxas de dados superiores a 100Gbs. O mercado de SerDes está avaliado em US$ 1 bilião em 2025, com uma taxa de crescimento anual esperada superior a 10% ao ano até 2030. Como a Synopsys lidera o desenvolvimento internacional de SerDes e possui em Portugal um importante centro de design com forte colaboração com a NOVA FCT, este projeto posicionará a UNINOVA na vanguarda da atividade mundial em design de circuitos para aplicações SerDes, com grande impacto na economia portuguesa e internacional. Esta proposta está totalmente alinhada com o plano estratégico do Horizon-Europe 2030, a Estratégia Nacional de Semicondutores, viabilizada pelo European Chips Act e também está alinhada com o Objetivo de Desenvolvimento Sustentável 11 das Nações Unidas – tornar as cidades e os assentamentos humanos inclusivos, seguros, resilientes e sustentáveis. Período de execução: 23 de fevereiro de 2026 a 22 de agosto de 2027.

A fiabilidade de software deve ser mais que uma mera possibilidade ou promessa teórica. Se vivemos num mundo que, literalmente, funciona sobre software é fundamental podermos confiar nas infraestruturas computacionais das quais dependemos. Se a nossa ambição é produzir programas confiáveis, devemos ser capazes de trazer as garantias do raciocínio matemático para o ciclo de desenvolvimento de software. Este é exatamente o propósito da verificação formal. Podemos citar diferentes abordagens e técnicas: verificação de modelos, análises estáticas, verificação dedutiva ou teorias de tipos expressivas. Todas estas técnicas têm um objetivo comum: aumentar a confiança sobre software que se coloca em execução. Em particular, software que corre numa escala global e que cumpre tarefas exigentes. Acreditamos que sistemas distribuídos, dada a sua adoção e implementação massivas, devem tornar-se alvos reais da verificação formal. A verificação de sistemas distribuídos e protocolos é um desafio importante. Tem sido abordado através de diferentes metodologias, desde verificação de modelos até à verificação dedutiva usando ferramentas interactivas. Estas últimas sofrem de um inconveniente óbvio: mesmo que possam assegurar garantias fortes sobre o código, provas interativas dificilmente se tornarão a escolha de peritos em sistemas distribuídos. Se queremos trazer a verificação dedutiva para o domínio da computação distribuída, devemos ter um foco claro na automação. Frequentemente consideradas como limitadas e pouco expressivas, ferramentas automáticas de verificação dedutiva são atualmente alvo de investigação intensiva e conheceram avanços tremendos nos últimos anos, ao ponto de serem utilizados na verificação de software complexo. No entanto, se ambicionamos a adopção de técnicas de verificação por engenheiros de sistemas distribuídos, que não são necessariamente peritos em provas de programas, devemos também desenvolver linguagens e ferramentas que permitam uma definição abstracta e simulações simples de protocolos e sistemas distribuídos. Assim, plataformas de verificação devem traduzir estas descrições de alto nível de protocolos para linguagens orientadas à prova. Neste projeto utilizaremos a linguagem Lupin como alicerce para a construção de uma plataforma que permita especificar, verificar automaticamente e executar protocolos distribuídos. Lupin é atualmente capaz de descrever protocolos de consenso simples, pretendemos por isso estender a expressividade da linguagem para suportar uma classe maior de sistemas distribuídos. Utilizaremos a plataforma Why3 como meio de raciocínio para construir uma ferramenta de verificação automática de sistemas distribuídos. Esta ferramenta será baseada na biblioteca Why3-do que apresenta um conjunto de definições formais de modelos de sistemas distribuídos e redes, formalizados com recurso à linguagem lógica e de programação do Why3. A nossa equipa reúne investigadores com experiência em verificação e linguagens de programação. O IR é membro da equipa de desenvolvimento do Why3 e tem larga experiência no desenho de linguagens de especificação e ferramentas para a verificação de programas funcionais. É também membro da equipa o principal arquitecto da biblioteca Why3-do. Finalmente, os outros dois membros core são os criadores da linguagem Lupin e ambiente de simulação associado. Acreditamos que a equipa apresenta a combinação perfeita de capacidades e conhecimento para conduzir com sucesso este projeto e produzir resultados científicos de grande relevo. O principal resultado esperado deste projeto será uma plataforma completa para de especificação e verificação, indo de código Lupin anotado até implementações corretas e executáveis de protocolos.

O E-GREEN visa desenvolver plataformas inteligentes avançadas à micro e nanoescala, combinando elevado desempenho eletrónico, multifuncionalidade e sustentabilidade num único dispositivo. O projeto irá explorar técnicas de Processamento Induzido por Laser (Laser-Induced Processing, LIP), de baixo custo e baixa temperatura, para sintetizar localmente materiais funcionais sobre substratos flexíveis, económicos e sensíveis à temperatura, baseados em biopolímeros, como a celulose. Esta abordagem segue uma estratégia “More than Moore”, indo além da miniaturização convencional ao adicionar às superfícies novas funcionalidades difíceis de obter através de métodos de fabrico tradicionais. O projeto irá focar-se no desenvolvimento de condutores transparentes, semicondutores, dielétricos e materiais eletrocrómicos com propriedades ajustadas. Estes materiais serão utilizados no fabrico de componentes passivos, transístores de filme fino, dispositivos eletrocrómicos e estruturas de armazenamento de energia. O E-GREEN irá também abordar a integração destes componentes em sistemas eletrónicos mais complexos, incluindo circuitos, placas de circuito impresso e plataformas de sensorização, contribuindo para uma nova geração de eletrónica sustentável, flexível e multifuncional. Período de execução: 1 de dezembro de 2025 a 29 de novembro de 2028.

Neste projeto pretende-se fazer investigação e desenvolvimento de circuitos fisicamente não-clonáveis (PUFs) de baixo custo com base numa estrutura híbrida, que podem ser utilizados em autenticação ou geração de chaves de criptografia. Combinaremos o melhor de duas tecnologias diferentes: eletrónica impressa para extração da entropia estática e CMOS para digitalização e para processamento dos sinais digitais, alimentação e comunicações. Período de Execução: 1 de maio de 2025 a 31 de dezembro de 2027

Este projeto consiste no desenvolvimento e avaliação experimental de um TI-ADC com 12 bits de resolução e 8Gs/s de frequência de amostragem. Os protótipos serão projetados e fabricado numa tecnologia CMOS 28nm (TSMC HPC+), que é aproximadamente 10x a 5x mais barata que tecnologias mais sofisticadas (SiGe ou FD-SOI/finFET). É esperado que este TI-ADC atinja uma taxa de conversão de 8Gs/s com uma linearidade melhor que 9 bits e tenha uma eficiência energética, definida pela FOM de Walden, melhor que 50 fJ/conv-step. A área esperada deve ser menor que 1mm2. Estas características encontram-se atualmente para além do estado da arte de ADC de alta velocidade. Período de Execução: 1 de maio de 2025 a 31 de dezembro de 2027

O projeto visa desenvolver e aplicar metodologias baseadas em deteção remota por satélite, Inteligência Artificial (IA) e visão computacional para a gestão eficiente de recursos hídricos no município de Almada. Os principais objetivos incluem: • Deteção de fugas: Identificar roturas na rede de abastecimento (condutas, juntas e reservatórios) através da análise de padrões anómalos no solo e vegetação. • Controlo de consumos: Detetar consumos não autorizados em zonas residenciais e otimizar a rega em espaços públicos. • Apoio à decisão: Disponibilizar uma plataforma interativa com dados em tempo real para ajudar as entidades gestoras (SMAS Almada) na tomada de decisões e criação de alertas. • Impacto: Reduzir as perdas de água no município de Almada em pelo menos 4%. Período de Execução: 1 de abril de 2025 a 31 de janeiro de 2026 www.recuperarportugal.gov.pt

O presente apoio financeiro visa a atualização e reestruturação de unidades de investigação científica, incluindo a sua transformação digital e tem como objetivo a aquisição de grandes equipamentos científicos, conjuntos de instrumentos científicos, arquivos e dados científicos, outros recursos baseados em conhecimento, sistemas de computação e programação, redes de comunicação que promovam o acesso aberto digital e/ou outras infraestruturas instrumentais para estimular a excelência em atividades de investigação e inovação. Tem como objetivo essencial apoiar a aquisição de equipamento ou a conclusão de projetos de renovação e/ou modernização de unidades de investigação científica da Unidade I&D Centro de Tecnologias e Sistemas (CTS), com acrónimo CTS, enquadrado no AAC nº 01/C05- i13/2025, em que o UNINOVA é o Beneficiário Final e Coordenador globalmente responsável pela execução do projeto de investimento contratualizado com a FCT I.P. – Fundação para a Ciência e a Tecnologia. Período de Execução: 1 de janeiro de 2025 a 30 de junho de 2026

O presente apoio financeiro visa a atualização e reestruturação de unidades de investigação científica, incluindo sua transformação digital e tem como objetivo a aquisição de grandes equipamentos científicos, conjuntos de instrumentos científicos, arquivos e dados científicos, outros recursos baseados em conhecimento, sistemas de computação e programação, redes de comunicação que promovam o acesso aberto digital e/ou outras infraestruturas instrumentais para estimular a excelência em atividades de investigação e inovação. Tem por objeto essencial a concessão de um apoio financeiro destinado a apoiar a aquisição de equipamento ou a conclusão de projetos de renovação e/ou modernização de unidades de investigação científica da Unidade I&D Centro de Tecnologias e Sistemas (CTS), com acrónimo CTS, enquadrado no AAC nº 02/C05-i13/2025 -EQUIPAR+2, em que o UNINOVA é o Beneficiário Final e Coordenador globalmente responsável pela execução do projeto de investimento contratualizado.com a FCT I.P. – Fundação para a Ciência e a Tecnologia. Período de Execução: 1 de janeiro de 2025 a 30 de junho de 2026

MOBILEurope seeks to improve expertise in the field of industrial relations, to builds on and contributes to following dimension of knowledge: employment, working conditions and social protection of frontier, seasonal and migrant workers under the COVID 19 crises and social dialogue and collective bargaining in this regard.

A Agenda Mobilizadora TEC4GREEN visa preparar o setor agroindustrial (alimentar e florestal) para os desafios futuros, tecnológicos e ambientais, minimizando o impacto ambiental (solo, água e atmosférico), e promovendo a sustentabilidade do setor. The TEC4GREEN Mobilizing Agenda aims to prepare the agro-industrial sector (food and forestry) for future technological and environmental challenges, minimizing environmental impact (soil, water, and atmospheric) and promoting the sustainability of the sector.