3 formal-semantics "https:" Fellowship positions

Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 27-Feb to 12-Mar-2026

INESC ID | Portugal | 13 days ago

water utility data into a consistent, documented target model (schemas +semantics). 2. KAG-based assistance: develop KAG components that support (semi-)automatic harmonisation tasks such as field mapping

Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 20-Feb to 06-Mar-2026

INESC ID | Portugal | 19 days ago

a pipeline to map multi-source water utility data into a consistent, documented target model (schemas +semantics). 2. KAG-based assistance: develop KAG components that support (semi-)automatic

Public notice for one research grant Refª BI|2026/826 Project SafelaC – Refª LISBOA2030-FEDER-00866800 funded by operation nº 15018, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 06-Jan-26

INESC ID | Portugal | 3 months ago

automated repair for Infrastructure as Code (IaC) that supports multiple technologies and provides formal correctness guarantees. The selected candidate will: 1) Contribute to the creation of software tools