categories - Category Theory list
 help / color / mirror / Atom feed
From: Georgiana Caltais <gcaltais@gmail.com>
To: categories@mta.ca
Subject: categories: PhD positions in intelligent diagnostics at the University of Twente
Date: Mon, 6 Mar 2023 19:04:32 +0100	[thread overview]
Message-ID: <E1pZGSd-0005dW-MN@rr.mta.ca> (raw)

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: “Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics”, led by Prof. Dr. Mariëlle 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ëlle Stoelinga and Dr. Georgiana Caltais.
For more details, please check the full description at:
https://utwentecareers.nl/en/vacancies/1111/phd-position-on-knowledge-engineering-for-smart-diagnostics/ <https://utwentecareers.nl/en/vacancies/1111/phd-position-on-knowledge-engineering-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-system-engineering-for-smart-diagnostics/ <https://utwentecareers.nl/en/vacancies/1110/phd-position-on-model-driven-system-engineering-for-smart-diagnostics/>

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

                 reply	other threads:[~2023-03-06 19:28 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1pZGSd-0005dW-MN@rr.mta.ca \
    --to=gcaltais@gmail.com \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).