2 model-checking PhD positions at FUNDACIO INSTITU DE RECERCA EN ENERGIA DE CATALUNYA
-
seeking a senior postdoctoral researcher (R2 level) to take on a leading technical role in the development of advanced modelling, control and optimization tools for smart energy systems. The selected
-
new business models based on distributed storage and dynamic sharing coefficients, integrated into a regulatory sandbox and real-world test environment. Main tasks: Create algorithms to maximize
Searches related to model checking
Enter an email to receive alerts for model-checking positions