Two PhD Candidates on the Intersection of Model-Based Testing, Software Product Lines and High-Tech Systems
Interested in researching the latest model-based software testing techniques and applying them on advanced high-tech cyber-physical systems? Join us on the …
- Houtlaan, Nijmegen, Gelderland
- Tijdelijk contract / Tijdelijke opdracht
- Uren per week:
- 32 - 40 uur
- € 3061 - € 3061 per maand
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.
PROJECT: TiCToC - Testing in Times of Continuous Change
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.
- A Master's degree in Computer Science, Mathematics, Software Engineering, or a related area, with excellent grades.
- Enthusiasm for both performing innovative, competitive scientific research, and applying scientific results in industry.
- Ability to work independently, as well as a team player in research and industrial groups.
- Willingness to spend part of the research time at the TiCToC industrial partners.
- Skilled in formal and abstract thinking.
- Fluency in English.
- Employment: 32 - 40 hours per week.
- The gross starting salary amounts to €2,395 per month, and will increase to €3,061 in the fourth year (salary scale P).
- In addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus.
- Duration of the contract: you will be appointed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years (4 year contract) or 3.5 years (5 year contract).
- You will be able to make use of our Dual Career Service: our Dual Career Officer will assist with family-related support, such as child care, and help your partner prepare for the local labour market and with finding an occupation.
- Are you interested in our excellent employment conditions?
Additional informationFor more information about this vacancy, please contact:
dr. Jan Tretmans, Associate Professor