Assistant professor in Formal System Analysis (V32.3451)

Assistant professor in Formal System Analysis

The Department of Computer Science at Eindhoven University of Technology (TU/e) invites applications for a tenure-track assistant professor position in Formal System Analysis. The starting date in 2018 is flexible.
Universitaire docent
Faculteit Wiskunde & Informatica


TU/e is offering a position for an assistant professor in the area of Formal System Analysis (FSA). The research in this area is directed to develop methods to efficiently design correct software for High Tech and embedded systems. Such software is typically described in domain specific languages (DSLs) that are based on extended finite state machines. To guarantee correctness these descriptions are analyzed using techniques stemming from the domain of formal methods, with a stress on model checking. The ambition of the FSA group is to be able to verify the full DSL descriptions before they are used to generate production code. A candidate must both have the theoretical background to contribute to the foundations of the required formal techniques, as well as the practical skills to transform these foundations into working tools and algorithms that are effective in the verification of DSL instantiations.

The candidate will contribute to the research and teaching in this area. He/she is also expected to contribute to third party research and service teaching. Securing external research funding and contributing to various managerial university tasks are also part of the duties of the prospective assistant professor.

TU/e is a highly ranked university in both research and teaching. Basic and application-inspired research are equally valued. TU/e is often ranked exceptionally high based on scientific co-publications with industry and the impact of its scientific research.


  • A PhD degree in Computer Science.
  • Publications in top journals and conferences.
  • Excellent communication, organization and leadership skills demonstrating the potential of building an own research group.
  • Strong cooperation skills and ability to work in a team; successful candidates are expected to collaborate with colleagues in other fields of Computer Science, as well as with colleagues from other faculties working in the area of High Tech Systems.
  • Desire to work with the industry to improve software development techniques, willingness to obtain and contribute to third party research, and enthusiasm to contribute to post academic teaching.
  • A successful candidate is expected to have a clear vision on education, and to consider teaching equally important as research. Excellent skills in developing and teaching academic courses are essential.


  • A challenging job in a dynamic and ambitious university;
  • salary depending on your experience and according to Dutch CAO (a starting salary of assistant professor is €3.545);
  • the TU/e offers you a Development Track. This means that you will follow an 8-year career track as an Assistant Professor, where you can be appointed as an Associate Professor in the end;
  • your contract will change to a permanent contract no later than 4 years after positive evaluations;
  • a yearly holiday allowance of 8% and a yearly end year allowance of 8.3% of the yearly salary;
  • enrolment into a program to acquire an official teaching certification from Dutch Universities (Basic Qualification Teaching);
  • in addition we offer a pension scheme, partially paid parental leave, flexible employment conditions, the possibility to participate in a collective health care plan, and other benefits (including an excellent technical infrastructure, moving expenses, savings schemes, child care and excellent sports facilities).

Informatie en sollicitatie

Further information with respect to the signature of the position is available from J.F. Groote (

Further information concerning employment conditions can be obtained from drs. M.W. von Reth, HR Advisor M&CS, (

The TU Eindhoven specifically encourages female candidates to apply.