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
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.