Sort by
Refine Your Search
-
Listed
-
Employer
- 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
- Leiden University
- University of Amsterdam (UvA); yesterday published
- Utrecht University
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam (EUR)
- Leiden University; Leiden
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- Utrecht University; yesterday published
- 8 more »
- « less
-
Field
-
programming languages and formal methods. Strong software engineering skills. Curiosity and agility to understand and navigate new technologies when applicable. Has an inclusive mindset and values good
-
a balanced mix of AI with formal methods and testing techniques, we strive to make vulnerability detection more accurate, intelligent, explainable, and usable in practice. The project is cutting-edge
-
minimizing the amounts of both false positives and false negatives. By combining static and dynamic analysis, using a balanced mix of AI with formal methods and testing techniques, we strive to make
-
neighborhoods, energy hubs, and communities. By integrating simulations, participatory methods, and co-creation with stakeholders, SYNERGY produces actionable knowledge, tools, and process interventions. It
-
Opportunity for two highly motivated PhD candidates to join the Ombion project! Your job The Ombion project, formally known as Centre for Animal-Free Biomedical Translation, is funded by
-
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
-
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