[DMANET] PhD Position Formal Methods for Safe and Interpretable AI at TU Delft, Netherlands

PhD Position Formal Methods for Safe and Interpretable AI at TU Delft, Netherlands

[Hero Female with solid fill]Have you always strived to contribute to formally verified and interpretable AI? In this project, you will have the opportunity to shift the paradigm and make safety an intrinsic feature of AI.

We consider human interaction to be essential for achieving reliability of deployed AI decision makers. This project will focus on modeling real-time behavior of AI systems and incorporating human feedback for guaranteeing real-time safety.

This project is for you if your background is in mathematical/logic-based/formal methods and algorithms, you have strong programming skills, you have interdisciplinary mindset and are passionate about advancing state-fo-the-art in AI safety.

You will conduct both theoretical and empirical research on the intersection of logic-based methods for verification under uncertainty and machine learning for interpretability.

For more information about this vacancy, please contact Dr. Anna Lukina, who will be the daily supervisor for this position, e-mail: a.lukina@tudelft.nl.

Are you interested in this vacancy? Please apply<https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=15642&jobTitle=PhD%20Position%20Formal%20Methods%20in%20Computer%20Science> no later than January 15, 2024.
**********************************************************
*
* 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/
*
**********************************************************