Sort by
Refine Your Search
-
Listed
-
Employer
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University
- University of Amsterdam (UvA); yesterday published
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Leiden University; Leiden
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- University of Groningen
- Utrecht University; yesterday published
- 9 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
-
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
-
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
-
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 the National Growth
-
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
-
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
-
, 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