3 software-verification-postdoc Fellowship positions at INESC TEC

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

INESC TEC | Portugal | about 2 months ago

. OBJECTIVES: The selected candidate will be a member of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular

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

INESC TEC | Portugal | 5 days ago

with Linux, Docker, MongoDB, PostgreSQL, and Opal technologies; - Experience with CI/CD methodologies and technologies; - Software development experience based on JavaScript (ReactJS, NodeJS) and Python

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - Plurianual_25-29 - HUMANISE (AE2026-0036)

INESC TEC | Portugal | 24 days ago

technologies; - Experience with CI/CD methodologies and technologies Minimum requirements: - Knowledge of Software Engineering; - Knowledge of Computer Networks; - Knowledge of Distributed Systems; - Proven