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

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ª 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 | 3 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 | 25 days 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 | 25 days 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 | 25 days 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 | 25 days 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 | 30 days 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

Public notice for one research grant Refª BI|2026/856 Project Center for Responsible AI – Refª C628696807-00454142 - Application submission from 13 to 26 February 2026

INESC ID | Portugal | about 2 months ago

, COMPLAIN 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