Projects - On going

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.

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

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

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

AI-DAPT brings forward a data-centric mentality in AI, that is effectively fused with a model-centric, science-guided approach, across the complete lifecycle of AI-Ops, by introducing end-to-end automation and AI-based systematic methods to support the design, the execution, the observability and the lifecycle management of robust, intelligent and scalable data-AI pipelines that continuously learn and adapt based on their context.

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.