Two Postdoc positions in Formal Methods for AI at TU Dortmund University (Germany)
Daniel Neider via dmanet <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <[email protected]> |
The Reliable AI group at TU Dortmund University (Germany) and the Center Trustworthy Data Science and Security seeks talented and motivated candidates for *two* 2-year Postdoc positions in Verification and Formal Methods for AI. We specifically welcome candidates with research interests in verification and formal guarantees for deep neural networks or probabilistic programs, program synthesis (e.g., using large language models), safe machine learning (deep learning or reinforcement learning), neuro-symbolic techniques or deep learning under logic constraints, as well as broader topics related to formal methods and verification. The positions are fully funded (TV-L E13/14) and include comprehensive benefits, including 30 day of paid vacation, health insurance, and retirement contributions. Both positions will be supervised by Prof. Daniel Neider (https://rc-trust.ai/about/scientists/daniel-neider). For more details on the positions, and to apply (deadline: March 10, 2026), please see https://service.tu-dortmund.de/documents/18/2120797/ w03-26_2PhD_RAR_englisch_NEU_SJA.pdf ********************************************************** * * Contributions to be spread via DMANET are submitted to * * [email protected] * * 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/ * **********************************************************