-
collaboration with Lund University. The candidate is expected to have a strong mathematical background particularly in stochastic modeling, optimization, and reinforcement learning. As a PhD student, you devote
-
You will be placed at the Human-Centred Systems division in the group of Knowledge Modelling and Cognitive Systems, as part of the Linköping University Semantic Web group. The Semantic Web group conduct
Searches related to model checking
Enter an email to receive alerts for model-checking positions