[DMANET] PhD position on model-based testing, at University of Twente (NL), deadline October 6

I am looking for a PhD student to join the Formal Methods and Tools
group at the University of Twente (NL). The topic of the PhD project is
model-based testing.

A short summary of the envisioned research direction of the PhD student
is as follows:
In this research project, you will tackle fundamental questions on
automated testing of complex software systems. The idea is to develop
test automation techniques, that use both information on the expected
behaviour of the system, e.g. available from behaviour-driven
development of the system, and information about the actual behaviour of
the system, e.g. from tests that have already been executed. By
combining several sources of evidence, tests are better equipped for
detecting software bugs, including those often missed by other tools.
You will implement you test generation algorithms in a tool, and apply
them in industrial case studies.

The starting date is flexible and to be discussed.

Deadline for application: October 6

Vacancy (with more information and Apply button):
https://utwentecareers.nl/en/vacancies/1904/phd-position-on-model-based-testing-for-evidence-driven-black-box-checking/

Kind regards,
Petra van den Bos
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************