-
/research-groups/CRITIX/ ) headed by Prof. Marcus Völp. The team focuses on critical information infrastructures and cyber-physical systems with the aim to protect our most sensitive and valuable assets. We
-
theoretical research, algorithm design, and the development of software tools that demonstrate the applicability of the new methods. Research environment The positions are hosted by the Department
-
Networks, and ICT Services & Applications. Your role The successful candidate will join the CritiX research group (https://www.uni.lu/snt-en/research-groups/CRITIX/ ) headed by Prof. Marcus Völp. The team
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd "Prof" positions