Job description
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. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.
The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente.
The 3TU.BSR project Big Software on the Run (http://fmt.cs.utwente.nl/research/projects/3TU.BSR/) seeks several PhD and Postdoc positions. Millions of lines of code – written in different languages by different people at different times and operating on a variety of platforms – drive the systems performing key processes in our society. The resulting software needs to evolve and can no longer be controlled a priori as is illustrated by a range of software problems. The 3TU.BSR research program will develop novel techniques and tools to analyse software systems in vivo – making it possible to visualize behaviour, create models, check conformance, predict problems and recommend corrective actions.
This PostDoc will investigate the frontier between model-based testing, runtime monitoring and conformance checking. The goal is to evaluate and improve test-generation techniques based on massive data gathered from online monitoring and the software development process, in collaboration with TU Delft (van Deursen) and TU Eindhoven (van der Aalst).
The postdoc will be involved in the supervision of the PhDs based at the University of Twente (PhD positions 4 & 6). Moreover, the postdoc will also run the Twente side of the 3TU.BSR “Big Software on the Run” research program. This includes ensuring that software and application efforts are integrated and coordinated between the different subprojects.
The project will run for a period of four years and is supported by the three Dutch technical universities (Eindhoven University of Technology, TU Delft, and University of Twente). It was initiated by 3TU.NIRICT, the Netherlands Institute for Research on ICT, which comprises all ICT research of the three universities of technology in the Netherlands.
Requirements
We are looking for candidates that meet the following requirements:
- you have a PhD in Computer Science or comparable qualifications and have research experience in the field of formal methods and familiarity with model-based testing, runtime monitoring, or conformance checking
- you have publications in relevant international journals and conferences;
- you enjoy working in a team and have good communication skills;
- you can demonstrate sufficient software development skills to realize research ideas in terms of prototype software
- you have sufficient management skills to coordinate research efforts in the 3TU.BSR project.
Note that we are looking for candidates that really want to make a difference and like to work on things that have a high practical relevance while having the ambition to compete at an international scientific level (i.e., present at top conferences and in top journals).
To apply for the position you should follow the link at the bottom of this vacancy description. Your application should consist of:
- a cover letter (maximum 1 page A4), emphasizing your specific interest, qualifications and motivations to apply for this position;
- a full Curriculum Vitae;
- a list of publications;
- an abstract of your PhD thesis;
- contact details of at least two referees who worked closely with you;
Applications should be submitted before Saturday March 7, 2015.
Working conditions
We offer you a an interesting research position in a dynamic and international environment. You will be appointed for a period of 2 years. The monthly salary depends on your experience and background, but will minimally be € 2.977,00 gross per month.
Additionally, the University of Twente provides a holiday allowance (amounts to 8%), an end-of-year bonus (amounts to 8.3%) and a number of additional benefits.
For more information about this position see fmt.cs.utwente.nl/research/projects/3TU.BSR/ or contact Jaco van de Pol (http://wwwhome.ewi.utwente.nl/~vdpol/).