2 software-formal-method-phd Postdoctoral positions at INESC TEC

INESC TEC is accepting applications to award 1 Scientific Research Grant - HIFLOW - CRAS (AE2025-0426)

INESC TEC | Portugal | about 1 month ago

. OBJECTIVES: - Expand knowledge of the state of the art in the specific scientific area of ​​the grant; - Identify and select appropriate methods for the study in question; - Develop research capacity through

INESC TEC is accepting applications to award 1 Scientific Research Grant - HYNET - CPES (AE2025-0395)

INESC TEC | Portugal | about 2 months ago

simulation, specifically designed for DC networks, considering widely used software in academia and system operators, such as Matlab, PSCAD, PSSE, and DIgSILENT PowerFactory - Contribute to the writing