[DMANET] PhD Position Mathematical Methods in Computer Science for Reliable Automation at TU Delft

PhD Position Mathematical Methods in Computer Science for Reliable Automation.

The main difference between offline design and online deployment of automation is that the real world can exhibit changes not accounted for in a simulated environment. The challenge of this project is to develop novel methodology and algorithms based on mathematical logic for guaranteed and interpretable deployment of automation.
We consider human feedback to be essential for achieving reliability of automation in the real world. You will conduct both theoretical and empirical research. The project is inspired by real-world case studies from the Dutch Railways and we envision to have both significant scientific and practical impact.

Apply until October 6: PhD Position Mathematical Methods in Computer Science for Reliable Automation.<https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details/?nPostingId=4874&nPostingTargetId=13983&id=QEZFK026203F3VBQBLO6G68W9&LG=UK&languageSelect=UK&mask=external>

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************