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)
- Leiden University
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Universiteit van Amsterdam
- Utrecht University; yesterday published
- 7 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
-
or transformed from other maps. The ERC funded project GeoTrAnsQData project addresses this by developing a GeoQA method that converts questions into executable geo-analytical workflows, turning geodata into new
-
from other maps. The ERC funded project GeoTrAnsQData project addresses this by developing a GeoQA method that converts questions into executable geo-analytical workflows, turning geodata into new answer
-
, maps must be created or transformed from other maps. The ERC funded project GeoTrAnsQData project addresses this by developing a GeoQA method that converts questions into executable geo-analytical
-
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
-
understand real-world challenges? Do you enjoy exploring and formally analyzing aspects of human reading and related cognitive tasks? Join us and contribute to an exciting multidisciplinary research project
-
within hours of activation. This project aims to close this gap by developing methods to identify malicious domains closer to their inception, as soon as indicators of compromise surface. Building on our
-
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
-
travel from one place to another, and their origin/destination points?), markets (what new formal and informal markets come into being through the discard of by-products and obsolete components
-
Application deadline: 19 January 2026 Apply now Are you passionate about applying AI and Data Science to model and understand real-world challenges? Do you enjoy exploring and formally analyzing aspects