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

Public notice for one research grant Refª BI|2026/882 Projet SALVE – refª 2024.14936.PEX funded by Fundação para a Ciência e a Tecnologia - Application submission from 23-Mar-2026 to 31-Dec 2026 -

INESC ID | Portugal | about 1 month ago

team with established expertise in software security, program analysis, and AI-driven code intelligence, with a track record of collaboration with leading technology companies and publications in top

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

INESC ID | Portugal | about 1 month ago

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

Public notice for one research grant Refª BI|2026/872 Project ORQESTRA - Refª 101224573-Application submission from 11 to 27 of March 2026

INESC ID | Portugal | about 2 months ago

suitable performance within the period of the project, not exceeding the maximum period set by FCT for such grants. RENEWAL Renewable is subject to performance if the candidate is enrolled in a PhD program

Public notice for one research grant Refª BI|2026/865 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03 - Application submission from 26-Feb to 12-March 2026

INESC ID | Portugal | about 2 months ago

the period of the project, not exceeding the maximum period set by FCT for such grants. RENEWAL 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 grants Refª BI|2026/844 Project SHIFT2DC - Refª101136131 funded by European Commission - Program HORIZON EUROPE Application submission from 2 to 27 of February 2026

INESC ID | Portugal | 2 months ago

the period of the project, not exceeding the maximum period set by FCT for such grants. RENEWAL 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|2026/861 Project GLOG – Refª 2023.18452.ICDT/ LISBOA2030-FEDER-00771200 funded by FEDER, operation nº 16539 - MPr-2023-12, Balcão dos Fundos and FCT

INESC ID | Portugal | 2 months ago

for such grants. RENEWALL Renewable is subject to 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

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 | 3 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/899 Project AHEAD - Refª 101160665 funded by European Commission - Program HORIZON EUROPE Application submission from 22 April to 07 of May 2026

INESC ID | Portugal | 3 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 three research grants Refª BI|2026/895 - BI|2026/896 - BI|2026/897 - Application submission from 20-April to 05-May 2026

INESC ID | Portugal | 6 days ago

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 panel notifies