1 formal-verification "https:" 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 | 3 months ago

the formal verification process 3) Participate in regular project meetings with the other members of the SafeIaC project 4) Produce a technical report with all the research findings to be submitted to a