31 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 | 16 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 | 15 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 | 27 days 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 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 | 5 days 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 Post-Doctoral Research Grant - Refª BPD|2025/757 Proj. SWATE: Socially-Aware AI for Teamwork Enhancement and Training– Refª LISBOA2030-FEDER-00777100 funded by operation nº 16594, Balcão dos Fundos, FEDER and FCT

INESC ID | Portugal | about 2 months ago

Engenharia Electrotécnica e de Computadores, Área de Energia, Av. Rovisco Pais 1049-001 Lisboa ELIGIBILITY CONDITIONS Any national, foreign and stateless candidate(s) holding a PhD in Computer Science and

Public notice for an uncertain-term work contract for a Researcher reference 2025.017.CTTRI ACHILLES Agreement 101189689 funded by the European Union Application submission from August 27, to September 10, of 2025

INESC ID | Portugal | 3 months ago

months to two years, or per longer period. 1. OBJECTIVES | FUNCTIONS Development of techniques aimed at enhancing the efficiency of complex ML pipelines, with emphasis on methods aimed at predicting

Public notice for one uncertain-term work contract for a Researcher Support Position (Project Manager) reference 2025.019.CTTRI | Application submission from September 22 to October 3 of 2025

INESC ID | Portugal | 2 months ago

18 Sep 2025 Job Information Organisation/Company INESC ID Research Field All Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country Portugal Application Deadline 3 Oct 2025

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

INESC ID | Portugal | 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 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 | 16 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