22 software-formal-method-phd Fellowship scholarships at INESC ID

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

INESC ID | Portugal | 17 days ago

transformation Experience with static analysis tools (e.g., CodeQL, Semgrep) Experience mining software repositories Demonstrated research ability (publications, ongoing PhD research) Experience with JavaScript

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

INESC ID | Portugal | 17 days ago

and open-source release of training and evaluation pipelines. The selected candidate will be integrated into a research team with established expertise in software security, program analysis, and AI

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

INESC ID | Portugal | 17 days ago

into a research 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

Public notice for one research grant Refª BI|2026/864 Project Center for Responsible AI – Refª C628696807-00454142 - Application submission from 26-Feb to 12-March 2026

INESC ID | Portugal | about 1 month ago

 by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next Generation EU European Funds, is available under the following conditions: OBJECTIVES | FUNCTIONS Formalizing analogy

Public notice for research grant Refª BI|2026/857 Project CARMA-Results – Refª 101168355 funded by European Commission – Program Horizon Europe Application submission from 13 to 27 February 2026

INESC ID | Portugal | about 2 months ago

| FUNCTIONS Develop a foresight study with the members of the project consortium. This includes developing and running the foresight session and formalizing results to capture envisioned scenarios and future

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 | 17 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 | 25 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 | 30 days 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