[DMANET] Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability at TU Delft

Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability at TU Delft

Do you want to make an impact in algorithms that formally guarantee reliability of AI in deployment? When deploying AI, the real world is often different from simulations. To make AI more rigorous, the Algorithmics group is looking for two PhD researchers to design novel algorithms for verifying when AI adaptation is necessary, and for resolving violations in a human-interpretable way. You will conduct both theoretical and empirical research at the intersection of logic, optimization, machine learning, control, monitoring, interpretability, and visualization. You will be supervised by Dr. Anna Lukina (https://annalukina.com/) and Prof.Dr. Matthijs Spaan ( https://www.st.ewi.tudelft.nl/mtjspaan/) or Prof.Dr. Mathijs de Weerdt (http://www.alg.ewi.tudelft.nl/weerdt/), depending on the project. Apply<https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=17388&jobTitle=Two%20(2)%20PhD%20Positions%20on%20Algorithms%20for%20Formal%20AI%20Verification%20and%20Explainability> before June 7, 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/
*
**********************************************************