2 5-languages-"https:" Master positions at INESC TEC

INESC TEC is accepting applications to award 1 Research Grant for MSC holders - Plurianual_25-29 - TTO (AE2026-0170)

INESC TEC | Portugal | 2 months ago

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

INESC TEC is accepting applications to award 1 Scientific Research Grant - Plurianual_25-29 - HASLAB (AE2026-0183)

INESC TEC | Portugal | 3 months ago

factors: - Experience in formal software development methods. Minimum requirements: - Average BSc and/or MSc grades of at least 13; - Knowledge of formal semantics and programming language processing. 5