PhD in Timing-aware distributed supervisory controller synthesis

Introduction

Are you fascinated by the large role software plays in the control of high-tech systems Are you eager to contribute to improving supervisory controller development and making it more structured resulting in high-quality functionally correct software Are you eager to apply and valorize scientific results in this field in high-tech domains such as semiconductor machines together with a highly innovative industrial partner in the Brainport region Then this PhD position is made for you!

Job Description

Complex dynamical systems such as semiconductor equipment consists of many interconnected modules which are functionally digitally and physically connected. Supervisory controllers that integrate the behavior of modules into meaningful and expected behavior are becoming increasingly important. Supervisory Controller Synthesis is an engineering approach to automatically derive a supervisory controller for a given discrete-event model that is safe with respect to certain requirements. Yet the application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed supervisory controller synthesis techniques that are scalable to practical systems.

Current decomposition approaches for supervisory control synthesis like the multilevel discrete-event systems approach are not well applicable to manufacturing systems where control involves properties of the manufactured goods such as the wafers in lithography machines. Furthermore to make supervisors performance aware and thus go beyond relatively straightforward safety and progress properties system requirements related to the timing of events and the results from performance optimization need to be included in the models. This PhD position will address these challenges by developing new timing-aware distributed supervisory control synthesis methods.

We invite highly motivated students with a strong background in discrete-event systems supervisory control theory and formal methods to apply for the PhD position within the Supervisory Control group (see Group Supervisory Control) which is part of the Control Systems Technology (CST) section of the Department of Mechanical Engineering. The members of this group conduct research on model- and synthesis-based engineering of supervisory controllers mostly using discrete-event systems. As such you will be able to discuss your research and brainstorm with your fellow group members.

This PhD position is part of the project on Holistic Design Automation for Semiconductor Manufacturing Equipment in which 6 PhD students will be employed at the Eindhoven University of Technology in the department of Mechanical Engineering as well as the departments of Electrical Engineering and Mathematics and Computer Science. You will have the chance to collaborate with ASML to apply the developed results in an industrial context thereby building both a strong academic and industrial profile.

You will have access to the graduate courses at the Dutch Institute of Systems and Control (DISC) and will have the opportunity to collaborate with industry in the Brainport region and academic researchers worldwide. By joining us you will be part of a vibrant community of more than 60 researchers including faculty members postdocs and PhDs working on diverse topics in the field of control systems and its applications.

This PhD position is jointly supervised by Michel Reniers and Martijn Goorden.

Job Requirements

• A masters degree (or an equivalent university degree)in systems and control mechanical engineering electrical engineering or computer science.
• Knowledge of discrete-event systems supervisory control theory and formal methods.
• Affinity with application domains within mechanical engineering such as e.g. mechatronics or robotics.
• Strong analytical and problem-solving skills with a passion for tackling complex multi-disciplinary challenges.
• A research-oriented attitude.
• Ability to work in an interdisciplinary team and interested in collaborating with industrial partners.
• Motivated to develop your teaching skills and coach students.
• Fluent in spoken and written English (C1 level).

Conditions of Employment

A meaningful job in a dynamic and ambitious university in an interdisciplinary setting and within an international network. You will work on a beautiful green campus within walking distance of the central train addition we offer you:

• Full-time employment for four years with an intermediate assessment after nine months. You will spend a minimum of 10% of your four-year employment on teaching tasks with a maximum of 15% per year of your employment.
• Salary and benefits (such as a pension scheme paid pregnancy and maternity leave partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities scale P (min. 3059 - max. 3881).
• A year-end bonus of 8.3% and annual vacation pay of 8%.
• High-quality training programs and other support to grow into a self-aware autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process.
• An excellent technical infrastructure on-campus childrens day care and sports facilities.
• An allowance for commuting working from home and internet costs.
• A Staff Immigration Team and a tax compensation scheme (the 30% facility) for international candidates.

About us

Eindhoven University of Technology is a leading international university within the Brainport region where scientific curiosity meets a hands-on mindset. We work in an open and collaborative way with high-tech industries to tackle complex societal challenges. Our responsible and respectful approach ensures impact today and in the future. TU/e is home to over 13000 students and more than 7000 staff forming a diverse and vibrant academic community.

The Department of Mechanical Engineering department conducts world-class research aligned with the technological interests of the high-tech industry in the Netherlands with a focus on the Brainport region. Our goal is to produce engineers who are both scientifically educated and application-driven by providing a balanced education and research program that combines fundamental and application aspects. We equip our graduates with practical and theoretical expertise preparing them optimally for future challenges.

Information

Do you recognize yourself in this profile and would you like to know more Please contact the hiring manager . Michel Reniers .

Visit our website for more information about the application process or the conditions of employment. You can also contact HR Advice or.

Curious to hear more about what its like as a PhD candidate at TU/e Please view the video.

Are you inspired and would like to know more about working at TU/e Please visit our career page.

Application

We invite you to submit a complete application by using the apply button. The application should include a:

• Cover letter in which you describe your motivation and qualifications for the position.
• Curriculum vitae including a list of your publications and the contact information of three references. Kindly note that we may reach out to references at any stage of the recruitment process. We recommend notifying your references upon submitting your application.

Ensure that you submit all the requested application documents. We give priority to complete applications.

We look forward to receiving your application and will screen it as soon as possible. The vacancy will remain open until the position is filled.

Please note

• You can apply online. We will not process applications sent by email and/or post.
• A pre-employment screening (e.g. knowledge security check) can be part of the selection procedure. For more information on the knowledge security check please consult the National Knowledge Security Guidelines.
• Please do not contact us for unsolicited services.