39 software-formal-method-phd positions at INESC ID in Portugal

Public notice for one research grant - Refª BI|2025/794 Project PSST - Refª 101168193 funded by Program HORIZON EUROPE - Marie Sktodowska - Curie Actions (MSCA)-Application submission from 05 to 19-Nov 2025

INESC ID | Portugal | 22 days ago

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

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

INESC ID | Portugal | 2 days ago

for one research grant Refª BI|2025/804 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

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

INESC ID | Portugal | 2 days ago

BI|2025/805 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next

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

for one research grant Refª BI|2025/806 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

ERRATA - Public notice for research grant Refª BI|2025/683 - AIdentifyAGE, Refª 024.07444.IACDC, for students with MSc degree

INESC ID | Portugal | 21 days ago

. This scholarship aims to support PhD-level studies on FAE by exploiting a new methodology that combines deep learning technology and knowledge graphs. The goal is to research and develop a new Decision Support

Public notice for one research grant Refª BI|2025/785 Project Livranças Digitais2 (I3PR004035) - funded by INESC ID Application submission from 24-Oct to 07-Nov-2025

INESC ID | Portugal | about 1 month ago

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

Public notice for research grant Refª BI|2025/776 HLT – BM - I3AC007103 - UID/50021/2025 - funded by INESC ID-Application submission from 08 to 22-Oct-2025

INESC ID | Portugal | about 2 months ago

clinical texts according to the ICD taxonomy, (b) explainability methods to be used in connection with models for clinical coding. BINDING LEGISLATION Law 40/2004 of 18th of August (Scientific Research

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

INESC ID | Portugal | 2 days ago

for one research grant Refª BI|2025/807 Proj. BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

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

INESC ID | Portugal | 2 days ago

for one research grant Refª BI|2025/808 Proj. BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

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

INESC ID | Portugal | 2 days ago

for one research grant Refª BI|2025/809 Proj. BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https