3 software-formal-method-phd research jobs at INESC ID

Public notice for one uncertain-term work contract for a Researcher reference 2026.015.CTTRI 2024.14198.PEX funded by Fundação para a Ciência e a Tecnologia

INESC ID | Portugal | 22 days ago

experts from INPE and IEAv to ensure accurate, meaningful annotations; Validate computational methods proposed by Master’s and PhD students; Deliver a well-structured, documented dataset to support

Public notice for one Post-Doctoral Research Grant - BPD|2026/951 Projet SHELL– refª LISBOA 2030-FEDER-00748300 - 16321 - 2023.16994.ICDT Application submission from 03 to 30 September 2026

INESC ID | Portugal | 27 days ago

: OBJECTIVES | FUNCTIONS The candidate will integrate a research group composed of PhD and master students that work on several topics related to systems research. The candidate will be responsible for mentoring

Public notice for one uncertain-term work contract for a junior researcher reference 2026.014.CTTRI Application submission from September 07 to 21 of 2026

INESC ID | Portugal | 22 days ago

given to each parameter. In this process abstentions are not allowed. Candidates shall be ordered by applying the successive voting method. The jury has the faculty to not approve a candidate who is not