Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
Intelligence with the topic of formal verification of distributed systems. The candidate would become a member of the Fundamental Computing Group of the Computer Science Department and would work under the
-
and Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
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
-
16 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Cybernetics Computer science » Programming Researcher Profile First Stage
-
computer science, artificial intelligence, or mathematics. You can demonstrate an interest in computer security. In addition to a curious mind, you posess excellent programming skills. You have excellent
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies