4 formal-semantics "https:" Fellowship positions

Public notice for one research grant Refª BI|2026/879 Projet SALVE – refª 2024.14936.PEX funded by Fundação para a Ciência e a Tecnologia - Application submission from 23-Mar to 08-Apr 2026 -

INESC ID | Portugal | 24 days ago

refine, formalize, and extend an existing perturbation methodology to construct a principled, security-aware dataset of real-world vulnerable and secure JavaScript code. The work plan includes: 1

Public notice for one research grant Refª BI|2026/880 Projet SALVE – refª 2024.14936.PEX funded by Fundação para a Ciência e a Tecnologia - Application submission from 23-Mar to 30-Apr 2026 -

INESC ID | Portugal | 24 days ago

rely on syntax-level heuristics versus security-relevant semantics. All experimental artifacts, code, and results will be released in an open-source repository. The selected candidate will be integrated

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 | about 2 months 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 | about 2 months 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