Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- University of Twente
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- Maastricht University (UM)
- University of Groningen
- Utrecht University
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- University of Amsterdam (UvA); Published today
- University of Twente (UT)
- 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); Published today
- Eindhoven University of Technology (TU/e); Published yesterday
- Wageningen University & Research
- Amsterdam UMC
- 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
- Tilburg University
- University Medical Center Utrecht (UMC Utrecht)
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Amsterdam (UvA); yesterday published
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Vrije Universiteit Amsterdam (VU); Published today
- 28 more »
- « less
-
Field
-
a primary emphasis on designing smart algorithms to trigger non-invasive blood pressure (NIBP) measurements at critical times. This will involve leveraging physiological sensor signals such as the
-
to source localization based on microphone arrays or distributed sensors. This PhD project will focus on the development of novel methods and algorithms for airborne noise source localization in generic urban
-
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
-
PhD Position in Probabilistic and Differential Algorithms Faculty: Faculty of Science Department: Department of Information and Computing Sciences Hours per week: 36 to 40 Application deadline