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).