Interested in researching the latest model-based software testing techniques and applying them on advanced high-tech cyber-physical systems? Join us on the 'TiCToC' project - Testing in Times of Continuous Change. We are looking for two excellent PhD candidates on the intersection of model-based testing, software product lines and high-tech systems to conduct research on TiCToC topics, and carry out case studies at TiCToC industrial partners.