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

Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 27-Feb to 12-Mar-2026

INESC ID | Portugal | about 2 months ago

Computer Science (or close field) with strong foundations in data management, machine learning, and software engineering. Coursework or projects in NLP/LLMs, information retrieval, knowledge graphs/ontologies, data

Public notice for one research grant Refª BI|2026/849 Project CHORYS - Refª 101189551 funded by European Commission - Program HORIZON EUROPE Application submission from 6 to 19 of February 2026

INESC ID | Portugal | 2 months ago

project team at INESC-ID is working on the development of specific components for the OpenSSD-V platform, focusing on hardware/software co-design and circuit synthesis for ASIC/FPGA. The objective

Public notice for one research grant Refª BI|2026/893 Project WeTRUST1 funded by INESC-ID Application submission from 15 to 28 of April 2026

INESC ID | Portugal | 1 day ago

The admitted and excluded candidates will be notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation

Public notice for one research grant Refª BI|2026/892 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 - Application submission from 13 to 27 of April 2026

INESC ID | Portugal | 4 days ago

being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates may complain about

Public notice for one research grant Refª BII|2026/890 Project GROW-LC (I3AC003101) funded by INESC-ID – UID/50021/2025 Application submission from 06 to 20 of April 2026

INESC ID | Portugal | 10 days ago

notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates

Public notice for one research grant Refª BI|2026/874 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03-Application submission from 16 to 30 of March 2026

INESC ID | Portugal | about 1 month ago

formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded candidates may complain about the evaluation panel final report for 15 working days after

Public notice for one research grant Refª BI|2026/875 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 Application submission from 16 to 30 of March 2026

INESC ID | Portugal | about 1 month ago

The admitted and excluded candidates will be notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation

Public notice for one research grant Refª BI|2026/877 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 - Application submission from 16 to 30 of March 2026

INESC ID | Portugal | about 1 month ago

the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded

Public notice for one research grant Refª BI|2026/878 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 -Application submission from 16 to 30 of March 2026

INESC ID | Portugal | about 1 month ago

the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal. After that period, the evaluation panel notifies the candidates of the final report. Excluded

Public notice for one research grant Refª BI|2026/869 Projet DIME-FS A Decentralized File System – refª 2024.13433.CMU-Application submission from 11 to 24-Mar 2026

INESC ID | Portugal | about 1 month ago

AND APPEAL DEADLINES The admitted and excluded candidates will be notified by email of the final ranking list. After being notified, all candidates have 10 working days to submit a formal rebuttal