1 formal-verification PhD positions at University of Greenwich

PhD Studentship: Resilient-by-design Cyber Physical Systems against Data Integrity Attacks

University of Greenwich | London, England | United Kingdom | 1 day ago

verification methodology and corresponding toolchain to detect and mitigate such threats to CPS at the design time making the CPS resilient-by-design. Typically, CPS are modelled as hybrid systems, comprising