Sort by
Refine Your Search
-
Listed
-
Employer
- Utrecht University
- Erasmus University Rotterdam
- University of Twente (UT)
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam (EUR)
- University of Amsterdam (UvA); yesterday published
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- Leiden University
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- Utrecht University; yesterday published
- 7 more »
- « less
-
Field
-
and societal partners in migration and urban studies. A comprehensive training programme combining theoretical courses, advanced methods, and transferable skills. Joint supervision by leading academic
-
probabilistic methods. Some familiarty with Finite Geometry will be advantageous. Mathematical Maturity: Ability to write mathematical proofs and formal texts as evidenced by a master's thesis report or similar
-
developing new explanation methods. This will involve using tools from mathematical machine learning theory to prove mathematical guarantees about the performance of such new explanation methods, as
-
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
-
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
-
migration and urban studies. A comprehensive training programme combining theoretical courses, advanced methods, and transferable skills. Joint supervision by leading academic experts from two universities
-
, such as financial reporting, management accounting, and sustainability, using state-of-the-art experimental, analytical, and archival methods. Our research group is highly ranked, has a strong international
-
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
-
to have knowledge of discrete-event systems, and knowledge of or interest in learning about formal methods, in particular, the theory of Supervisory Controller Synthesis. PhD 4: AI-driven legacy system