2 model-checking PhD research jobs at Delft University of Technology (TU Delft) in Netherlands
-
the system dynamics as dictated by demand-side management. Input from consortium industry partners on component, operational and other costs will be used to validate the techno-economic models and quantify
-
that the candidate is able to communicate and interact well, participate in English-taught Doctoral Education courses, and write scientific articles and a final thesis. For more details please check the Graduate
Searches related to model checking
Enter an email to receive alerts for model-checking positions