development of a domain-specific language for advanced program transformations, especially for mutation testing
design and implementation of techniques for composing program transformations, intelligent mutation and completion of test suites
development, maintenance, documentation and dissemination of the developed software
national and international communication of research results through scientific publications in journals and conferences, as well as presentations at conferences
The position is limited to a time period deemed adequate for the completion of a doctoral degree. As part of the assigned duties, there will be ample opportunity to conduct the independent scientific research necessary for the completion of a doctorate. The limitation complies to § 2, 1 WissZeitVG.