We are looking for a PhD candidate for a 4-year project on Formal Methods for Component-Based Testing, as part of TiCToC (Testing in Times of Continuous Change), a collaborative, NWO-funded project with the Radboud University (Nijmegen).
You will be working on the TiCToC project, funded by NWO and carried out in collaboration with dr ir. Jan Tretmans (Radboud University).
The overall goal of TiCToC is to investigate methods and tools to manage and reduce the combinatorial explosion of testing complex high-tech systems – an explosion that arises due to the fact that these systems evolve over time to adapt to changing requirements and contexts, resulting in a very high number of possible different variants. The approach of TiCToC is to extend existing methods for model-based testing to systems of the kind above, which are both component-based and feature-oriented. Topics that are addressed include: modelling and decomposition of a system into components and features, compositional testing, impact analysis of system modifications, minimization of re-testing after a change, automatic test generation from models and usage data, and representation of models and testing concepts in an intuitive and human-accessible form in domain-specific languages. The full project description is available on demand.
The PhD candidate hired at the University of Twente will be supervised by Arend Rensink and Mariëlle Stoelinga and will work especially on the component-based aspects of testing, in close collaboration with two further PhD candidates at the Radboud University.
We are looking for enthusiastic students, skilled in exact and abstract thinking, that hold a MSc degree in Computer Science (or equivalent). You should have a thorough theoretical background and a demonstrable interest in program development.
As a research outcome we expect publications, (prototype) tools and a PhD thesis.
The University of Twente offers excellent working conditions, an exciting scientific environment and a green and lively campus. We offer:
- A PhD position for four years (38 hrs/week).
- A stimulating scientific environment.
- Full status as an employee at the University of Twente, including pension and health care benefits.
- Gross salary PhD student: ranging from € 2.325,00 (1st year) to € 2.972,00 (4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%).
- Excellent facilities for professional and personal development.
- Good secondary conditions, in accordance with the collective labour agreement CAO-NU for Dutch universities.
- A green and lively campus, with lots of sports facilities and other activities.
Bedrijfsprofiel Universiteit Twente
In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the Digital Systems Institute (DSI).
Our institute was ranked first at the most recent research national assessment.
By clicking the application button, you will be navigated to the website of the University of Twente. In case the link is not working anymore, the vacancy has expired and you will no longer be able to apply. We try to keep our job database as up-to-date as possible, we would very much appreciate it if you could let us know in case a link is not working.
Would you like to be kept up-to-date about other interesting jobs in Twente, then sign up here and create your own job account!