3 software-verification "https:" Fellowship positions in Portugal

1 (UMA) BOLSA DE INVESTIGAÇÃO CIENTÍFICA (BI) / 1 (ONE) SCIENTIFIC RESEARCH FELLOWSHIP (SRF)

Associação Universidade-Empresa para o Desenvolvimento - TecMinho | Portugal | 20 days ago

; Avaliar a inter-relação entre diferentes variáveis (caudal, qualidade da água e atividades associadas à operação); Modelar sistemas de abastecimento de água com software específico; Desenvolver um algoritmo

Public notice for one research grant Refª BI|2026/826 Project SafelaC – Refª LISBOA2030-FEDER-00866800 funded by operation nº 15018, Balcão dos Fundos, FEDER and FCT Application submission from 22-Dec-25 to 06-Jan-26

INESC ID | Portugal | 3 months ago

of programming languages, verification-aware languages, and in how to integrate AI tools and techniques into software projects. The evaluation panel assigns a classification to each of the candidates on a scale of

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - VeriFixer - HASLAB (AE2025-0609)

INESC TEC | Portugal | 2 months ago

funded by a EU programme Reference Number AE2025-0609 Is the Job related to staff position within a Research Infrastructure? No Offer Description Portuguese version: https://repositorio.inesctec.pt/editais