PhD Scenario-based compositional system-level performance engineering Eindhoven University of Technology in Netherlands

The Eindhoven University of Technology offers a PhD position in scenario-based compositional system-level performance engineering within the Department of Electrical Engineering. This opportunity is part of a larger Design Automation program, executed in collaboration with ASML, and spans multiple departments including Mechanical Engineering, Electrical Engineering, and Computer Science. The research focuses on advancing holistic system-level design for complex cyber-physical manufacturing equipment, such as semiconductor lithography machines, which are crucial for global technological progress.

The project aims to push the boundaries of system-level modelling, analysis, design, exploration, and synthesis. The candidate will develop methodologies to ensure correct behavior and required performance (throughput, latency) of manufacturing systems, considering constraints from various engineering domains like form factor, costs, and thermal conditioning. The approach leverages scenario-based design, clustering behaviors into scenarios, and starts from use cases and operating modes (including failures). The research will involve developing domain-specific languages (DSLs) for use case specification, as well as model transformation, analysis, and synthesis algorithms to guarantee functionally correct system configurations with assured performance.

The position is hosted by the Model-Based Design Lab in the Electronic Systems group. The candidate will join an interdisciplinary team of academic and industry researchers, benefiting from high-quality training programs, technical infrastructure, and a vibrant international network. The university is located in Brainport Eindhoven, a world-leading tech region known for breakthroughs in AI, photonics, semiconductors, and advanced manufacturing.

Applicants must have a master’s degree in computer engineering, computer science, systems engineering, mechanical engineering, electrical engineering, or applied mathematics. Required skills include strong analytical and problem-solving abilities, software engineering and algorithm development experience, modeling of cyber-physical systems, and preferably DSL development. Excellent communication and collaboration skills and fluency in English (C1 level) are essential.

Employment conditions include a four-year full-time contract, intermediate assessment after nine months, and teaching tasks (10–15% of employment). Salary is in accordance with the Collective Labour Agreement for Dutch Universities, scale P (€3,059–€3,881/month), with a year-end bonus, vacation pay, pension scheme, paid leave, commuting and internet allowances, and a tax compensation scheme for international candidates. Additional benefits include access to sports facilities, on-campus childcare, and support for career development.

To apply, submit a complete application online, including a cover letter, CV with publications, and contact information for three references. The deadline is May 31, 2026. Applications sent by email or post will not be processed. For further information, contact Dr. Marc Geilen or Prof. Twan Basten. A pre-employment screening may be part of the selection procedure.