[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.

Conditions of employment

TU Delft offers PhD-candidates a 4-year employment contract, with an official go/no go progress assessment after one year. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from € 2395 per month in the first year to € 3061 in the fourth year. As a PhD candidate you will be enrolled in the TU Delft Graduate School.

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 September 17, 2021 via https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=3690&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/
*
**********************************************************