Our group is constantly looking for students intersted in Bachelor's and Master's projects within our research areas. Come and talk to us and tell us more about your interests. You can find us at:
Campus Johanneberg
EDIT building | Floor 6V Office 6476
The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools for the construction of runtime monitors that capture under what conditions an ACPS is guaranteed to maintain safety. A key challenge in developing such monitors is to handle noisy, missing, or delayed data. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow for building monitors with formal guarantees on their correctness and reliability.
Deadline: April 30, 2024
Our group is looking for candidates interested in conducting independent research in the area of formal analysis of autonomous cyber-physical systems (ACPS). The candidate will work on developing a new generation of design and verification techniques, rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, compositional correct-by-design methods, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty.
Deadline: April 15, 2024