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=1.7 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2, SPOOFED_FREEMAIL,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 1705 invoked from network); 6 Mar 2023 19:28:13 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 6 Mar 2023 19:28:13 -0000 Received: from rr.mta.ca ([198.164.44.159]:43520) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pZGUS-0004GE-Ro; Mon, 06 Mar 2023 15:27:20 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pZGSd-0005dW-MN for categories-list@rr.mta.ca; Mon, 06 Mar 2023 15:25:27 -0400 From: Georgiana Caltais MIME-Version: 1.0 (Mac OS X Mail 15.0 \(3693.40.0.1.81\)) Subject: categories: PhD positions in intelligent diagnostics at the University of Twente Date: Mon, 6 Mar 2023 19:04:32 +0100 To: categories@mta.ca Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Precedence: bulk Reply-To: Georgiana Caltais Message-Id: The Formal Methods and Tools group at the University of Twente is = looking for two highly motivated and talented PhD candidates 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. Dr. 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: *29 March 2023* Starting date: 1 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/1111/phd-position-on-knowledge-engi= neering-for-smart-diagnostics/ = One 4-year PhD studentship on Model-driven System Engineering for Smart = Diagnostics. Your work will be about finding ways to specify diagnosable monitoring = systems, to identify models with the best diagnostic potential, to = describe available knowledge to facilitate diagnostics, to define = diagnostic algorithms, and to combine domain knowledge and system = knowledge to provide diagnosability guarantees. You will be supervised by Dr. Vadim Zaytsev and Dr. Marcus Gerhold. For more details, please check the full description at: = https://utwentecareers.nl/en/vacancies/1110/phd-position-on-model-driven-s= ystem-engineering-for-smart-diagnostics/ = = [For admin and other information see: http://www.mta.ca/~cat-dist/ ]