Sort by
Refine Your Search
-
Listed
-
Employer
-
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
-
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