Publisher
source

Eindhoven University of Technology

PhD in Timing-aware Distributed Supervisory Controller Synthesis Eindhoven University of Technology in Netherlands

Degree Level

PhD

Field of study

Computer Science

Funding

Full funding available

Deadline

December 31, 2026
Country flag

Country

Netherlands

University

Eindhoven University of Technology

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Where to contact

Official Email

Keywords

Computer Science
Systems Engineering
Mechanical Engineering
Electrical Engineering
Formal Methods
Robotics
Model-driven Engineering
Discrete Event Systems
Mechatronics
Control System
Distributed System

About this position

This PhD position at Eindhoven University of Technology focuses on the development of timing-aware distributed supervisory controller synthesis methods for complex dynamical systems, with a particular emphasis on semiconductor manufacturing equipment. The project aims to address scalability challenges in supervisory controller synthesis by creating new distributed techniques that incorporate timing and performance optimization requirements, moving beyond traditional safety and progress properties. The research is situated within the Supervisory Control group, part of the Control Systems Technology section in the Department of Mechanical Engineering, and is closely linked to the 'Holistic Design Automation for Semiconductor Manufacturing Equipment' project, which involves collaboration with ASML and other industrial partners in the Brainport region.

As a PhD candidate, you will join a vibrant research community of over 60 members, including faculty, postdocs, and fellow PhDs, working on model- and synthesis-based engineering of supervisory controllers using discrete-event systems. You will have access to graduate courses at the Dutch Institute of Systems and Control (DISC) and opportunities for international academic and industrial collaboration. The position is jointly supervised by Dr.ir. Michel Reniers and Martijn Goorden, offering guidance in both theoretical and applied aspects of control systems engineering.

The ideal candidate holds a master’s degree in systems and control, mechanical engineering, electrical engineering, or computer science, with strong knowledge of discrete-event systems, supervisory control theory, and formal methods. Affinity with mechatronics or robotics is desirable, along with analytical skills, a research-oriented mindset, and the ability to work in interdisciplinary teams. Fluency in English (C1 level) is required, and candidates should be motivated to develop teaching skills and coach students.

The position offers full-time employment for four years, with a competitive salary (scale P: €3,059–€3,881/month), year-end bonus, annual vacation pay, pension scheme, paid parental leave, and allowances for commuting, home office, and internet costs. International candidates benefit from a tax compensation scheme (30% facility) and support from the Staff Immigration Team. The university provides a dynamic and ambitious environment, excellent technical infrastructure, and a balanced education and research program aligned with high-tech industry needs.

Applications should be submitted online via the provided link, including a cover letter, CV with publications, and contact details for three references. Only complete applications will be considered, and a pre-employment screening may be part of the selection process. The vacancy remains open until filled, with priority given to complete applications. For further information, contact Dr.ir. Michel Reniers at [email protected] or HR Advice at [email protected].

Funding details

Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.

How to apply

Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?