Two PhD Candidates on the Intersection of Model-Based Testing, Software Product Lines and High-Tech...
Radboud University
Nijmegen, Netherlands
6 dagen geleden
source : Euraxess

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.


High-tech, cyber-physical systems come in many variants, customised for various users. These systems evolve over time to adapt to changing requirements and contexts.

The number of possible different variants is growing exponentially, making testing of systems with high variability and evolution a major challenge.

The TiCToC project will investigate methods and tools to manage and reduce the combinatorial explosion of testing such systems.

TiCToC will follow a formal, model-based approach using component-based and feature-driven testing. Topics include model-based software testing, algorithmic test generation, formal models, domain-specific languages, component-based testing, feature-driven testing, variability, software product lines, evolution, test-impact analysis, test coverage, test tools, and applications in high-tech, cyber-physical systems.

TiCToC is part of the MasCot partnership programme, a collaboration between NWO, ESI (TNO), ASML, Philips Health Care, Canon Production Printing, and six universities, with in total 11 PhD candidates.

The overall goal of this programme is to develop new engineering methodologies that help manage the increasing complexity of designing, building and testing high-tech, cyber-physical systems.

Part of the research will be done at the partner companies, thereby providing an opportunity to learn about different industrial cases and to build up a strong network with industry, ESI (TNO), and the fellow MasCot PhD candidates.

Offer Requirements

deze vacature melden

Thank you for reporting this job!

Your feedback will help us improve the quality of our services.

Mijn E-mail
Door op "Doorgaan" te klikken, betekent dit dat je neuvoo toestemming geeft om je gegevens te verwerken en je e-mails met vacatures te sturen, zoals beschreven in neuvoo's -Privacybeleid . Je kunt je toestemming altijd intrekken