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

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 | 5 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

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

INESC ID | Portugal | 5 days ago

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

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

INESC ID | Portugal | 5 days ago

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

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 | 14 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 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/755 Project Center for Responsible AI – Refª C628696807-00454142

INESC ID | Portugal | 2 months ago

learning methods to digital pathology Development of deep learning algorithms for the computational analysis of whole-slide images. The objective is to identify relevant biological features and to perform

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 | 26 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/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 | 26 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 | about 1 month 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