28 software-formal-method-phd 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 | 19 days 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/854 Project WSMART ROUTE+ - refª 2022.04180.PTDC funded by Fundação para a Ciência e a Tecnologia Application submission from 13 to 26 February 2026

INESC ID | Portugal | about 2 months ago

the following conditions: OBJECTIVES | FUNCTIONS The purpose is to continue the research on Machine Learning methods applied to optimization techniques, in particular for the veicule routing problem. The idea is

Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 20-Feb to 06-Mar-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 grant Refª BI|2026/876 Project GREENCHIPS - Refª 101123309 - 2022-SKILLS-03-Application submission from 16 to 30 of March 2026

INESC ID | Portugal | 26 days 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 1 month 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/837 - Proj. SWATE - Application submission from 16 to 30 of January 2026

INESC ID | Portugal | 3 months ago

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://files.dre.pt/2s/2019/12

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