Twan Basten

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.

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

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.

This PhD position at Eindhoven University of Technology offers an exciting opportunity to advance scenario-based compositional system-level performance engineering for complex cyber-physical manufacturing equipment. Hosted by the Model-Based Design Lab in the Electronic Systems group, the research is part of a larger Design Automation program in collaboration with ASML, a leading industrial partner in the semiconductor industry. The program spans multiple departments, including Electrical Engineering, Mechanical Engineering, and Computer Science, and aims to push the boundaries of holistic system-level modeling, analysis, design, exploration, and synthesis. The project addresses the limitations of current design automation solutions, which are often restricted to specific domains or subsystems. The goal is to develop methodologies that enable correct behavior (such as collision-free material handling) and required performance (throughput, latency) while considering constraints from various engineering domains, including form factor, costs, and thermal conditioning. The research will leverage scenario-based design, clustering system behaviors into scenarios, and will start from use cases and operating modes (normal and failure). This approach requires the development of domain-specific languages (DSLs) for specifying use cases, as well as model transformation, analysis, and synthesis algorithms to ensure functionally correct system configurations with guaranteed performance. The successful candidate will join a dynamic and ambitious university with a strong international network and interdisciplinary setting. The position offers full-time employment for four years, with an intermediate assessment after nine months. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, including a competitive salary (scale P), year-end bonus, vacation pay, pension scheme, paid pregnancy and maternity leave, partially paid parental leave, and allowances for commuting, working from home, and internet costs. International candidates benefit from a tax compensation scheme (30% facility) and support from the Staff Immigration Team. Applicants must have a master’s degree in computer engineering, computer science, systems engineering, mechanical engineering, electrical engineering, or applied mathematics. Strong analytical and problem-solving skills, software engineering and algorithm development experience, and preferably DSL development experience are required. Candidates should be eager to work in an interdisciplinary team and possess excellent communication and collaboration skills. Fluency in spoken and written English (C1 level) is essential. The university is located in Brainport Eindhoven, a world-leading tech region known for breakthroughs in AI, photonics, semiconductors, and advanced manufacturing. TU/e is home to a diverse and vibrant academic community, offering high-quality training programs, excellent technical infrastructure, on-campus childcare and sports facilities, and unlimited access to the TU/e Student Sports Center at an affordable rate. To apply, submit a complete application online, including a cover letter, CV with publications, and contact information for three references. The application deadline is May 31, 2026. Incomplete applications may not be prioritized, and applications sent by email or post will not be processed. A pre-employment screening may be part of the selection procedure. For further information, contact Dr. Marc Geilen ([email protected]) or Prof. Twan Basten ([email protected]). Additional details about the application process and working at TU/e can be found on the university’s website.