2 formal-semantics Fellowship positions at INESC ID

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 | 2 days 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

Public notice for one research grant Refª BI|2025/806 Project BLOCKCHAIN – refª C632734434-00467077 - Application submission from 26-Nov to 11-Dec 2025

INESC ID | Portugal | 28 days ago

semantic mapping tool for interoperability across multiple blockchain-based CBDC systems, sob a form of a business logic plugin. The contribution must be integrated in an existing enterprise blockchain