21 software-formal-method-phd Fellowship 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 | 12 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

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

INESC ID | Portugal | 10 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 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 1 month 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 two research grants Refª BI|2025/796 - BI|2025/797 under the scope of the cryptographic development task funded by the Crypto_Chaves project (HPCAS group) Application submission from 14 to 27-Nov 2025

INESC ID | Portugal | about 7 hours 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 research grant Refª BI|2025/795 Project LeaF – Refª 2024.14611.CMU funded by FCT, I.P. -Application submission from 06 to 19-Nov 2025

INESC ID | Portugal | 12 days ago

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 subject to suitable performance

Public notice for one research grant Refª BI|2025/756 Project Center for Responsible AI – Refª C628696807-00454142

INESC ID | Portugal | about 2 months ago

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 subject to suitable performance

Public notice for research grant Refª BI|2025/793 BLOCKCHAIN – refª C632734434-00467077-funded by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next Generation EU European Funds

INESC ID | Portugal | 12 days ago

|2025/793 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Smart Contract Replication Developer funded by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next Generation

Public notice for two research grants Refª BI|2025/786 - BI|2025/787 under the scope of the cryptographic development task funded by the Crypto_Chaves project (HPCAS group) Application submission from 28-Oct to 11-Nov 2025

INESC ID | Portugal | 19 days ago

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 subject to suitable performance

Public notice for research grant Refª BI|2025/769 Project SHELL – Refª LISBOA2030-FEDER-00748300

INESC ID | Portugal | about 2 months ago

degree in Computer Science and Engineering, Software Engineering or equivalent area, and with a suitable scientific and professional curriculum may apply. The candidate(s) must be enrolled in a MSc program

Public notice for one research grant - Refª BI|2025/766 Project SYNTHESIS-refª LISBOA2030-FEDER-00868200

INESC ID | Portugal | about 2 months ago

: 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 subject to suitable performance within