Sort by
Refine Your Search
-
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
-
at the European Space Agency (ESA). Specifically, you will work with the System Assembly, Integration, and Verification (SAIV) team, collaborating closely with engineering, performance, and test teams involved in
-
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
-
; this includes liaising with industrial suppliers for the resolution of issues, including the implementation of formal corrections and quick workarounds as necessary; supporting the process of verification
-
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