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