-
successful candidate will have previous experience in computer science or data science, with a PhD and publications in at least one of the following areas: Formal modelling and verification of business
-
verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise MSc and PhD students. Optionally contribute to teaching and proposal preparation. Required qualifications: As a formal
-
programmes, especially in areas such as: Embedded systems and digital design, Hardware/software co-design, Dependable and real-time systems, Operating systems and system-level programming, Verification and