4 formal-methods-"https:" Fellowship positions at INESC ID

Public notice for one research grant Refª BII|2026/898 - Project VERSACOMP – Refª 2023.18110.ICDT / LISBOA2030-FEDER-00869000-Application submission from 21-April to 15-May 2026

INESC ID | Portugal | about 12 hours ago

) Investigation into the core computational patterns that are suitable for diverse types of AI-enhanced hardware, identifying acceleration opportunities within application hotspots. b) Development of methods

Public notice for one research grant Refª BI|2026/864 Project Center for Responsible AI – Refª C628696807-00454142 - Application submission from 26-Feb to 12-March 2026

INESC ID | Portugal | about 2 months ago

 by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next Generation EU European Funds, is available under the following conditions: OBJECTIVES | FUNCTIONS Formalizing analogy

Public notice for research grant Refª BI|2026/857 Project CARMA-Results – Refª 101168355 funded by European Commission – Program Horizon Europe Application submission from 13 to 27 February 2026

INESC ID | Portugal | 2 months ago

| FUNCTIONS Develop a foresight study with the members of the project consortium. This includes developing and running the foresight session and formalizing results to capture envisioned scenarios and future

Public notice for one research grant Refª BI|2026/854 Project WSMART ROUTE+ - refª 2022.04180.PTDC funded by Fundação para a Ciência e a Tecnologia Application submission from 13 to 26 February 2026

INESC ID | Portugal | 2 months ago

the following conditions: OBJECTIVES | FUNCTIONS The purpose is to continue the research on Machine Learning methods applied to optimization techniques, in particular for the veicule routing problem. The idea is