4 formal-verification-computer-science positions in Portugal

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

PhD holder Researcher (Reference REQUIMTE 2025-50)

REQUIMTE - Rede de Quimica e Tecnologia | Portugal | 1 day ago

programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Reference: REQUIMTE 2025-50 Main research field: Chemistry, Chemical Engineering, Physics, Physics
PhD holder Researcher (Reference REQUIMTE 2025-48)

REQUIMTE - Rede de Quimica e Tecnologia | Portugal | 1 day ago

Application Deadline 12 Sep 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
PhD holder Researcher (Reference REQUIMTE 2025-49)

REQUIMTE - Rede de Quimica e Tecnologia | Portugal | 1 day ago

hired depends on the applicable guidelines and regulations of the Foundation for Science and Technology, and verification of compliance with the administrative requirements contained therein. REQUIMTE
Public notice for an uncertain-term work contract for a Researcher reference 2025.017.CTTRI ACHILLES Agreement 101189689 funded by the European Union Application submission from August 27, to September 10, of 2025

INESC ID | Portugal | 1 day ago

27 Aug 2025 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country

Enter an email to receive alerts for formal-verification-computer-science positions