Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- University of Groningen
- Leiden University; yesterday published
- Maastricht University (UM)
- Delft University of Technology (TU Delft); yesterday published
- Utrecht University
- Wageningen University & Research
- Eindhoven University of Technology (TU/e)
- Radboud University
- University of Twente
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM); Maastricht
- University of Amsterdam (UvA)
- University of Twente (UT)
- Wageningen University and Research Center
- CWI
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; today published
- University of Amsterdam (UvA); Amsterdam
- University of Amsterdam (UvA); yesterday published
- University of Twente (UT); Enschede
- Vrije Universiteit Amsterdam (VU)
- Centrum Wiskunde en Informatica (CWI); today published
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus MC (University Medical Center Rotterdam)
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); 26 Sep ’25 published
- Maastricht University (UM); today published
- Princess Maxima Center
- Prinses Máxima Centrum
- Radboud Universiteit
- The Open Universiteit (OU)
- Tilburg University
- Universiteit van Amsterdam
- University Medical Center Utrecht (UMC Utrecht)
- University Medical Centre Groningen (UMCG)
- University Medical Centre Groningen (UMCG); Groningen
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Groningen; Groningen
- Wageningen University & Research; today published
- 36 more »
- « less
-
Field
-
oriented towards the development of a domain-specific design automation framework for cryptographic hardware. Your work will focus on identifying the mathematical knowledge and properties to guide hardware
-
. Supervisory Controller Synthesis is an engineering approach to automatically derive a supervisory controller for a given discrete-event model that is safe with respect to certain requirements. Yet, the
-
, chemistry, and mathematical modelling. The long-term goal is to derive design principles for constructing smart, adaptive microsystems, potentially useful for targeted drug delivery, cargo transport
-
work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
. Your work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
candidate will gain training in chemical biology, molecular genetics and cell biology, and use physiologically relevant in vitro and in vivo models. The work will be carried out in an interdisciplinary
-
8 Oct 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Modelling tools Computer science » Programming Engineering » Design
-
through our Terms of Employment Options Model. In this way, we encourage you to keep investing in your personal and professional development. For more information, please visit Working at Utrecht University
-
models and LLM-based explanations. You will provide the community with the first tool for self-healing software that is useful for research, education, and industrial use. Your research will be published
-
suggested patches, easier to understand using interpretable AI using state machine models and LLM-based explanations. You will provide the community with the first tool for self-healing software that is