Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- Maastricht University (UM)
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- University of Amsterdam (UvA); Published today
- Utrecht University
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Delft University of Technology (TU Delft); Published yesterday
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); Published today
- Eindhoven University of Technology (TU/e); Published yesterday
- University of Amsterdam (UvA); Amsterdam
- University of Groningen
- University of Twente
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); today published
- Leiden University; Leiden
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); 27 Sep ’25 published
- Maastricht University (UM); yesterday published
- Radboud University
- Radboud University Medical Center (Radboudumc)
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Amsterdam (UvA); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT)
- Vrije Universiteit Amsterdam (VU); Published today
- 28 more »
- « less
-
Field
-
to surveillance of infectious pathogens using computer science and mathematics? Join the Delft Bioinformatics Lab and work on graph-based algorithms for microbial genomics! Job description Bacterial and viral
-
Do you want to contribute to surveillance of infectious pathogens using computer science and mathematics? Join the Delft Bioinformatics Lab and work on graph-based algorithms for microbial genomics
-
space explosion involved in complex systems. The aim of this PhD project is to develop distributed supervisory controller synthesis techniques that are scalable to practical systems. Current decomposition
-
application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed
-
, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems, providing them with essential improvements to aspects such as performance and
-
theory. o SAT, SMT, and CHC solving. o Temporal logic and TLA+. o Distributed algorithms, blockchains, and smart contracts. o Quantum information theory and Markov decision processes. Additional
-
. -) SAT, SMT, and CHC solving. -) Temporal logic and TLA+. -) Distributed algorithms, blockchains, and smart contracts. -) Quantum information theory and Markov decision processes. Conditions of employment
-
that may empower consumers to resist persuasion and reduce harmful consequences? Are you passionate about advertising, algorithms and social media? Then apply for this PhD project focused on demystifying
-
, algorithms and social media? Then apply for this PhD project focused on demystifying algorithmic persuasion by commercial advertisers on TikTok from a differential vulnerability perspective. Who is vulnerable
-
focus often neglects other dimensions of processes, such as the time between activities and the time required for specific steps, the spatial distribution of tasks across locations, or the intricate