Assistant Professor in Formal System Analysis at Eindhoven University of Technology

Eindhoven University of Technology, Netherlands is offering professor position in computer science. Applications will be evaluated immediately.

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.

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.

xcellent communication, organization and leadership skills demonstrating the potential of building an own research group. trong 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. esire 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. uccessful 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.

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, (


Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2015 All Right Reserved.