Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Groningen
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
-
Field
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and check desired properties
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control engineering Engineering » Systems engineering Researcher Profile First Stage Researcher...
-
Job description High-tech greenhouses play a crucial role in ensuring sustainable, affordable, and reliable local food production. The construction and operation of high-tech greenhouses is therefore expected to grow significantly over the next decade, but this increase is not matched by a...
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
dissection for parameter verification, and a novel morphometric scaling approach, we will set a new standard for modelling the musculoskeletal system. These next-generation models will allow us to explore how
-
Institute and will be working together with researchers from QuSoft . This PhD project aims to push the state-of-the-art in quantum compilation, verification and/or classical simulation. The exact project
-
to understand how to learn models that are useful for upstream planning, scheduling, and verification tasks, and how to deal with their uncertainty. Second, we aim to understand how to effectively incorporate
-
applications, our group works on two main research objectives. First, we aim to understand how to learn models that are useful for upstream planning, scheduling, and verification tasks, and how to deal with