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

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 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 | 17 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 | 25 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 with Refª BI|2025/774 Project AILA-Refª 2024.07657.IACDC-funded by Fundação para a Ciência e a Tecnologia, under the measure RE-C05-i08.M04-Application submission from 9 to 23 of October, 2025

INESC ID | Portugal | about 1 month ago

the project, not exceeding the maximum period set by FCT for such grants. RENEWALL Renewable is subject to performance if the candidate is enrolled in a PhD program - art. 6º, n.4 c) https

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 fixed-term work contract for a Researcher reference 2025.020.CTTRC | Application submission from September 18 to October 1 of 2025

INESC ID | Portugal | 2 months ago

. Candidates shall be ordered by applying the successive voting method. The jury has the faculty to not approve a candidate who is not considered on absolute merit. Candidates with an average score below 70

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

Public notice for one research grant - Refª BI|2025/753 Project GROW-LC - I3AC003101 Application submission from 22-Sep-2025 to 06-Oct-2025

INESC ID | Portugal | 2 months ago

of the project, not exceeding the maximum period set by FCT for such grants. RENEWALL Renewable is subject to performance if the candidate is enrolled in a: PhD program - art. 6º, n.4 c) https

Public notice for one research grant - Refª BI|2025/752 Project WebCAP - refª 2024.07393.IACDC Application submission from 17 to 30 of September 2025

INESC ID | Portugal | 2 months ago

set by FCT for such grants – 2 years (included contract renewals) PhD program - art. 6º, n.4 c) https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 https://files.dre.pt/2s/2019/12

Public notice for research grant Refª BI|2025/749 Project CARMA – Refª 101168355 funded by the European Commission – Program Horizon Europe Application submission from August 26 to September 9, 2025

INESC ID | Portugal | 3 months ago

enrolled in a PhD program - art. 6º, 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