Thursday, December 16, 2021

[DMANET] PhD Position in Formal Methods for Learned Systems at TU Delft, The Netherlands

PhD Position in Formal Methods for Learned Systems.
Challenge: Monitoring of human-in-the-loop learned systems.
Change: Synergy between formal methods and learning.
Impact: Reliable deployment of AI in the real world.

Job description

We have a PhD opening in the intersection of formal methods and machine learning supervised by Dr. Anna Lukina. We believe in the hidden potential of the synergies between these fields. You will conduct both theoretical and empirical research on monitoring learned systems. You can choose to primarily focus on one of the aspects or their intersection. We envision the project to have both significant scientific and practical impact, across areas that use learning for automation.

You will be part of the Algorithmics Group in the Department of Software Technology of the Faculty of Electrical Engineering, Mathematics and Computer Science. In addition, you will have an opportunity to collaborate with the Interactive Intelligence Group internationally recognized for their research on socially interactive agents.

Requirements

Successful candidates are expected to have a Master's degree in computer science, information/computer/software engineering, mathematics or closely related studies, firm mathematical foundations in control/formal methods/optimization and preferably prior experience with deep learning and statistical analysis, as well as strong programming skills.

For more information about this vacancy, please contact Dr. Anna Lukina, email: a.lukina@tudelft.nl<mailto:a.lukina@tudelft.nl>.

For information about the application procedure, please contact Sophie den Hartog, Secretary of the Algorithmics Group, s.c.denhartog@tudelft.nl<mailto:s.c.denhartog@tudelft.nl>.

Please apply before January 17, 2022 via https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=4533&jobTitle=PhD%20Position%20in%20Formal%20Methods%20for%20Learned%20Systems.

**********************************************************
*
* 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/
*
**********************************************************