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

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 | 9 days 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 | 19 days 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/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 | 20 days 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 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 2 months 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 uncertain-term work contract for a Researcher reference 2025.022.CTTRI | Application submission from January 5 to 16.2026

INESC ID | Portugal | about 2 months ago

conducted on an FPGA evaluation board. BINDING LEGISLATION Labor Code Law nº. 13/2023, of April 3, in its current wording. https://diariodarepublica.pt/dr/legislacao-consolidada/lei/2023-211366691 In

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 | 3 months 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 uncertain-term work contract for a Researcher reference 2025.021.CTTRI | Application submission from December 11 to 31 of 2025

INESC ID | Portugal | 3 months ago

to stimulate scientific and technological employment in all areas of knowledge Decree-Law 57/2016, of August 29 and complementary legislation, in its current wording https://dre.pt/dre/detalhe/decreto-lei/57