Skip to content  

Working at TU/e

Two Assistant Professor and/or Support Positions in FSA

Two Assistant Professor and/or Support Positions in FSA

The Department of Mathematics and Computer Science has two vacancies for tenured/tenure track assistant professor and/or support staff positions in the Formal System Analysis (FSA) group.
Assistant Professor
Mathematics and Computer Science
Date off
Reference number

Job description

The Formal System Analysis Group studies formal techniques to model and analyses software systems. The goal is to develop techniques that are both mathematically elegant and practically effective. For this, we study process algebra and the modal mu-calculus, both with data, time and probabilities. Important techniques are term rewriting, fixed points, parity games, SAT and SMT solving and symbolic state space representations. The group maintains the mCRL2 toolset, which is in use at a number of major industries and public bodies, generally as a verification backend. The group has strong ties with industrial partners and actively strives to apply its methods in industrial contexts.

The tasks for assistant professors are to contribute to education, research, the organization of the department, acquiring and executing external projects, as well as collaboration with industrial partners. The task of support staff is to assist in the maintenance, use, development, documentation and deployment of the software in use within FSA, in particular the mCRL2 toolset. A combination of a parttime support/assistant professor position is conceivable.

In the context of this vacancy, you are expected to:

  • Have an outstanding research record in the area of Formal Methods and a strong desire to advance the state of the art in formal software development.
  • Teach courses in the area of software modelling, Formal Methods, Automated Reasoning, as well as any other basic course in a Computer Science curriculum.
  • Acquire and coordinate research projects.
  • Actively strengthen the industrial and research collaborations of the group.
  • Contribute to the research and teaching vision of the group, the department and the University.
  • Professionally support the development of the mCRL2toolset (in case of a support position).

Job requirements

We are looking for a candidate that add value to the FSA cluster and match the following profile:

  • PhD degree in Computer Science or a related field with clear indicators of international recognition such as publications, PC memberships, invited talks etc.
  • Affinity with the field of Formal Methods and a clear drive to contribute to its scientific advancement, as well as its application in the domain of software.
  • Experience in executing and/or obtaining externally funded research projects from (inter)national funding agencies and/or industry.
  • Demonstrable experience in supervising PhD and/or master students as main/daily supervisor.
  • Proven didactic skills and teaching experience. Willingness to obtain a University Teaching Qualification.
  • Excellent communication, organization, leadership and collaboration skills.

Conditions of employment

  • A meaningful job in a dynamic and ambitious university with the autonomy to develop your own research line and participate in the curriculum of the department.
  • You will have free access to high-quality training programs for academic leadership, the university teaching qualification program, research and valorization competences, and a dedicated mentoring program to help you get to know the university and the Dutch (research) environment.
  • Salary and benefits are in accordance with the Collective Labor Agreement for Dutch Universities.
  • Additionally, an annual holiday allowance of 8% of the yearly salary, plus a year-end allowance of 8.3% of the annual salary.
  • A broad package of fringe benefits, including an excellent technical infrastructure, moving expenses, and savings schemes.
  • Family-friendly initiatives are in place, such as the Dual Career Opportunity program to support accompanying partners, an international spouse program, and excellent on-campus children daycare and sports facilities.

Information and application

More information

Do you recognize yourself in this profile and would you like to know more about FSA cluster? Please visit:

For information about the vacancy, please contact prof. J.F. (Jan Friso) Groote, j.f.groote[at] or T.A.C. (Tim) Willemse, t.a.c.willemse[at]

For information about terms of employment, please contact Elly van den Eertwegh, recruiter, e.a.m.v.d.eertwegh[at] or  + 31 (0)6 39186476.

About us

Eindhoven University of Technology is a top-ranking Dutch university that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a number 1 position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.

Curious to hear more about what it is like to be working as an Assistant Professor at TU/e. Please view the video below.


Are you inspired to know more about working at TU/e? Please visit

We invite you to submit a complete application by using the 'apply now' button on this page. Please note that incomplete applications will not be considered. The application should include a:

  • Cover letter in which you describe your motivation and qualifications for the position
  • Curriculum vitae, including your publications list highlighting five self-selected ‘best publications’
  • Description of your scientific interests and plans (preferably at most 1 page)
  • Statement of your teaching goals and experience (preferably at most 1 page)
  • 2 names of referees which we are allowed to contact

We look forward to your application and will screen it as soon as we have received it, the deadline is April 15th, 2021. Screening will continue until the position has been filled.