Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Leiden University
- Eindhoven University of Technology (TU/e)
- Delft University of Technology (TU Delft); yesterday published
- University of Amsterdam (UvA)
- University of Groningen
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Utrecht University
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM)
- Eindhoven University of Technology (TU/e); Eindhoven
- Erasmus University Rotterdam
- Leiden University; Leiden
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- University of Twente (UT)
- Radboud University
- University of Amsterdam (UvA); yesterday published
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Leiden University; yesterday published
- Tilburg University
- University of Twente (UT); Enschede
- Utrecht University; Utrecht
- Wageningen University & Research
- Wageningen University and Research Center
- ARCNL
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published yesterday
- 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 today
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Erasmus MC (University Medical Center Rotterdam)
- Erasmus University Rotterdam (EUR)
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); 27 Sep ’25 published
- Maastricht University (UM); today published
- Maastricht University (UM); yesterday published
- Naturalis; Published today
- Naturalis; Published yesterday
- Radboud University Medical Center (Radboudumc)
- Radboud University Medical Center (Radboudumc); Nijmegen
- Radix Trading LLC
- Tilburg University; Tilburg
- Universiteit van Amsterdam
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); Published yesterday
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT); today published
- Utrecht University; yesterday published
- Vrije Universiteit Amsterdam (VU); Published today
- Wageningen University & Research; Published today
- Wetsus - European centre of excellence for sustainable water technology
- 49 more »
- « less
-
Field
-
optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware
-
team, including another PhD student who focusses on the genomics of adaptation and a postdoc who will analyse the evolved strains using mass spectrometry, in collaboration with bioinformatician Dr
-
, employees, IT infrastructure, specialized training). Second, they may require the use of quantitative models, data analysis, and algorithms, but these applications must also safeguard the data privacy and non
-
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
-
, 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
-
framework that is now being developed in the Laan Lab. You will be part of a multi-disciplinary team, including another PhD student who focusses on the genomics of adaptation and a postdoc who will analyse
-
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
-
., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware optimizations (e.g., automated pipelining). The PhD student will be supervised by Nusa Zidaric. Key
-
., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware optimizations (e.g., automated pipelining). The PhD student will be supervised by Nusa Zidaric. Key
-
student will be expected to closely collaborate with at least 2 other PhD students and one postdoc within the project. While this PhD project will focus on sustainable membrane production, others will focus