Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Leiden University; Leiden
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Groningen
- 3 more »
- « less
-
Field
-
discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within the Supervisory Control group (see Group Supervisory Control ), which is part of the Control
-
understandable explanations from machine learning models. We will achieve this together by creating the first mathematical framework for explainable AI and developing new explanation methods. This will involve
-
methods. This will involve using tools from mathematical machine learning theory to prove mathematical guarantees about the performance of such new explanation methods, as well as programming to test out
-
control synthesis methods. We invite highly motivated students with a strong background in discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within
-
of positively and negatively charged polyelectrolytes will be the basis for a new method for the fabrication of membranes, requiring only water as a solvent. The porous structure of the membrane will be
-
. We will achieve this together by creating the first mathematical framework for explainable AI and developing new explanation methods. This will involve using tools from mathematical machine learning
-
PhD Position in Parsing and Formal Representation of Geographic Questions Faculty: Faculty of Geosciences Department: Department of Human Geography and Spatial Planning Hours per week: 36 to 40
-
environments. The project will build on an interdisciplinary approach, combining concepts and methods from physics, chemistry, and mathematical modelling. The long-term goal is to derive design principles
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies