5 formal-method-phd positions at INESC ID

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

Public notice for one research grant Refª BI|2026/828 Project VERSACOMP – Refª 2023.18110.ICDT / LISBOA2030-FEDER-00869000 funded by operation nº 15038, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 09-Jan-26

INESC ID | Portugal | 2 months ago

performance if the candidate is enrolled in a PhD program - art. 6º, n.4 c) https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 https://files.dre.pt/2s/2019/12/241000000/0009100105.pdf

Public notice for one uncertain-term work contract for a Researcher reference 2025.021.CTTRI | Application submission from December 11 to 31 of 2025

INESC ID | Portugal | 3 months ago

10 Dec 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country Portugal