-
to have knowledge of discrete-event systems, and knowledge of or interest in learning about formal methods, in particular, the theory of Supervisory Controller Synthesis. PhD 4: AI-driven legacy system
-
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
-
26 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Engineering » Control engineering Researcher Profile First Stage Researcher (R1) Country
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd "Eindhoven University of Technology (TU" positions