7 formal-methods "https:" Fellowship positions at INESC ID

Public notice for research grant Refª BI|2025/831 Project FAIRY - FAIRification of YEASTRACT+ to Support Yeast-based Bioeconomy and Health - Grant AG 101129751 (EU CNRS) funded by European Commission Application submission from 06 to 20 of January 2026

INESC ID | Portugal | about 22 hours ago

LEGISLATION Law 40/2004 of 18th of August (Scientific Research Fellow Status) in its current wording. https://diariodarepublica.pt/dr/legislacao-consolidada/lei/2004-58216179 Regulations for Research Grants

Public notice for one research grant Refª BI|2026/828 Project VERSACOMP – Refª 2023.18110.ICDT / LISBOA2030-FEDER-00869000 funded by operation nº 15038, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 09-Jan-26

INESC ID | Portugal | 17 days ago

(Scientific Research Fellow Status) in its current wording. https://diariodarepublica.pt/dr/legislacao-consolidada/lei/2004-58216179 Regulations for Research Grants of the Foundation for Science and Technology

Public notice for one research grant - Refª BI|2025/794 Project PSST - Refª 101168193 funded by Program HORIZON EUROPE - Marie Sktodowska - Curie Actions (MSCA)-Application submission from 05 to 19-Nov 2025

INESC ID | Portugal | 2 months ago

exploring binarized neural networks as potential candidates for privacy-preserving methods in sensitive speech classification tasks. The candidate will begin by reviewing the current state-of-the-art

Public notice for one research grant Refª BI|2025/804 Project BLOCKCHAIN – refª C632734434-00467077 - Application submission from 26-Nov to 11-Dec 2025

INESC ID | Portugal | about 1 month ago

for one research grant Refª BI|2025/804 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

Public notice for one research grant Refª BI|2025/805 Project BLOCKCHAIN – refª C632734434-00467077, Application submission from 26-Nov to 11-Dec 2025

INESC ID | Portugal | about 1 month ago

BI|2025/805 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https://recuperarportugal.gov.pt/ and Next

Public notice for one research grant Refª BI|2025/806 Project BLOCKCHAIN – refª C632734434-00467077 - Application submission from 26-Nov to 11-Dec 2025

INESC ID | Portugal | about 1 month ago

for one research grant Refª BI|2025/806 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https

ERRATA - Public notice for research grant Refª BI|2025/683 - AIdentifyAGE, Refª 024.07444.IACDC, for students with MSc degree

INESC ID | Portugal | 2 months ago

age estimation (FAE), specifically focusing on dental age assessment, as well as recent advancements in age estimation methods and Decision Support Systems (DSS) in medical diagnostics; (2) *Study and