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
-
motivated to do PhD research in mathematical machine learning, with special emphasis on mathematical foundations for explainable AI? If yes, the Korteweg-de Vries Institute for Mathematics at the University
-
the methods and mathematical theory in experiments. (See example references [1,2,3] below for initial results.) During the PhD, you will initially work on a pre-specified subproject of your choosing, which
-
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
-
Universiteit van Amsterdam, Korteweg - de Vries Institute for Mathematics Position ID: 1729-PHD [#27043] Position Title: Position Location: Amsterdam, Noord-Holland 1091, Netherlands (Kingdom
-
, biophysics, and materials science. In this PhD project, you will: Develop an experimental platform to study 3D self-organization of active particles. Fabricate and characterize light-driven microswimmers. Use
-
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
-
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
-
of Chemistry is looking for a PhD-candidate to study autoantigen-specific cell therapies employing synthetic chimeric autoantigen-receptors (sCAARs): PhD position in Translational Chemical Immunology Antigen
-
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