-
qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology Experience with scientific publication and
-
description IT-security is a central topic of all areas of modern software and system design and will only become more important in the future. Central to secure systems is to proactively limit risks by design
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised