From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: ** X-Spam-Status: No, score=2.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,RDNS_NONE,SPOOFED_FREEMAIL, SPOOFED_FREEMAIL_NO_RDNS,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 21022 invoked from network); 18 Aug 2023 15:51:09 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 18 Aug 2023 15:51:09 -0000 Received: from rr.mta.ca ([198.164.44.159]:52170) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qX1g9-0005wK-KB; Fri, 18 Aug 2023 12:46:25 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qX1fd-0002v1-Dy for categories-list@rr.mta.ca; Fri, 18 Aug 2023 12:45:53 -0300 MIME-Version: 1.0 From: Georgiana Caltais Date: Tue, 15 Aug 2023 15:10:08 +0200 Subject: categories: PhD position on Knowledge Engineering for Smart Diagnostics To: Georgiana Caltais BCC: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Georgiana Caltais Message-Id: The Formal Methods and Tools group at the University of Twente is looking for a highly motivated and talented PhD candidate to join the team working on diagnostic methods for cyber-physical systems. You will be working on the ZORRO project: =E2=80=9CEngineering for Zero Downtime = in Cyber-Physical Systems via Intelligent Diagnostics=E2=80=9D, led by Prof. D= r. Mari=C3=ABlle Stoelinga . The project is a collaboration between the University of Twente, VU Amsterdam, Saxion University of Applied Sciences, TNO-ESI and five industrial partners. If you are passionate about computer science and interested in working on cutting-edge research, we encourage you to apply for this exciting opportunity! Application deadline: *24 September 2023* *We offer*: One 4-year PhD studentship on Knowledge Engineering for Smart Diagnostics. You will be working on finding ways to formally model knowledge about organisations, agents and domains for the specific task of diagnostics, developing knowledge extraction methods in large industrial systems, extracting knowledge from various information sources and integrating the various extracted knowledge and data into the actual diagnostic process. You will be supervised by Prof. Dr. Mari=C3=ABlle Stoelinga and Dr. Georgiana Caltais . For more details, please check the full description at: https://utwentecareers.nl/en/vacancies/1370/phd-position-on-knowledge-engin= eering-for-smart-diagnostics/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]