Eindhoven University of Technology, a leading research institution in the Netherlands, is offering six PhD positions focused on advancing design automation and diagnostics in the semiconductor industry. The university is renowned for its collaborative culture and strong ties to high-tech industries, particularly in the Brainport region. These positions span the departments of Mechanical Engineering, Electrical Engineering, and Mathematics and Computer Science, and are aimed at solving complex, multidisciplinary challenges in system-level modelling, analysis, design, and synthesis for semiconductor equipment, especially lithography machines. The research topics include automated computational design synthesis of system topologies, scenario-based system-level performance engineering, timing-aware distributed supervisory controller synthesis, AI-driven legacy system explanation and refactoring, data mining for diagnostics using knowledge graphs and foundation models, and automating health monitoring in semiconductor equipment. Each project is supervised by leading academics and involves collaboration with industry partners such as ASML AI Research. Candidates will work in a vibrant, interdisciplinary environment, receive comprehensive training, and benefit from excellent employment conditions including a four-year contract, competitive salary, bonuses, pension, paid leave, and support for international staff. Applicants must have a master’s degree in a relevant field and demonstrate strong analytical, problem-solving, and teamwork skills. Specific expertise in software engineering, programming, cyber-physical systems, formal methods, AI, data mining, control theory, and related areas is required for certain positions. Applications are accepted online until November 30, 2025, and should include a cover letter, CV, and references. The university provides a supportive infrastructure, professional development opportunities, and a dynamic campus environment. For more information, candidates are encouraged to contact the listed supervisors or HR services.

This PhD position at Eindhoven University of Technology focuses on developing timing-aware distributed supervisory controller synthesis methods for complex dynamical systems, such as semiconductor manufacturing equipment. The project addresses the challenges of scalability in supervisory controller synthesis, particularly the limitations of current decomposition approaches in manufacturing systems where control involves properties of manufactured goods. The research aims to go beyond traditional safety and progress properties by incorporating timing and performance optimization requirements into supervisory control models. The successful candidate will join the Supervisory Control group within the Control Systems Technology section of the Department of Mechanical Engineering, collaborating with a vibrant community of over 60 researchers. The position is part of a larger project, 'Holistic Design Automation for Semiconductor Manufacturing Equipment,' involving six PhD students across mechanical engineering, electrical engineering, and mathematics and computer science departments. Collaboration with ASML offers opportunities to apply research outcomes in an industrial context, enhancing both academic and industrial profiles. The role includes access to graduate courses at the Dutch Institute of Systems and Control (DISC) and opportunities for international collaboration. Supervision is provided by Dr. Ir. Michel Reniers and Dr. Ir. Martijn Goorden. The position offers a four-year full-time contract, competitive salary and benefits, and requires a master’s degree in a relevant field, strong analytical skills, and fluency in English. Applicants should be motivated to develop teaching skills and work in interdisciplinary teams. Applications must be submitted online and include a cover letter, CV, and references. The position remains open until filled, with a formal application deadline of November 2, 2025.

Eindhoven University of Technology is offering six PhD positions focused on advancing design automation, diagnostics, and AI applications for complex semiconductor systems, particularly lithography machines. These positions span the departments of Mechanical Engineering, Electrical Engineering, and Mathematics and Computer Science, and are designed to address the limitations of current domain-specific automation solutions by developing holistic, system-level approaches. The research topics include automated computational design synthesis of system topologies, scenario-based compositional system-level performance engineering, timing-aware distributed supervisory controller synthesis, AI-driven legacy system explanation and refactoring, data mining for diagnostics using knowledge graphs and foundation models, and automating health monitoring in semiconductor equipment. Each project is supervised by leading academics and, in some cases, involves collaboration with industrial partners such as ASML AI Research. Candidates will work on cutting-edge challenges such as system architecture exploration, model-based performance engineering, supervisory control synthesis, generative AI for software maintenance, advanced diagnostic frameworks, and predictive monitoring technologies. Applicants should have strong backgrounds in relevant fields, with specific skills required for each position, such as software engineering, formal methods, control theory, and AI. The positions offer the opportunity to contribute to innovation in the Brainport region and beyond, working in interdisciplinary teams and with internationally recognized industrial partners. Funding details are not specified in the announcement. Interested candidates should apply online via the AcademicTransfer link, submitting their CV, motivation letter, and transcripts, and indicating their preferred PhD project(s).