Trustworthy Data Science and Security invite applications for a
three-year PhD position within the DFG-funded research project Temporal
Logic Sketching for AI. The project explores novel foundations for
specifying AI systems, with a focus on learning (temporal) logic
formulas. For further details on the project, please visit
https://gepris.dfg.de/gepris/projekt/434592664?language=en
The position is fully funded (approximately €58,000 gross per year,
according to the German public service pay scale) for an initial period
of three years, with the possibility of extension. The position includes
comprehensive benefits, such as 30 days of paid vacation per year,
health insurance, retirement contributions, and additional benefits
under the German public sector employment system. The PhD candidate will
be supervised by Prof. Daniel Neider
(https://rc-trust.ai/about/scientists/daniel-neider).
Interested candidates are invited to submit a CV, academic
transcript(s), a motivation letter, and ideally two references. When
applying, please mention the reference number w10-26 and send your
documents (in a single PDF file, if possible) to
jobs-reliable-ai@rc-trust.ai. The application deadline is March 31, 2026.
The original (German) job posting can be found at
https://service.tu-dortmund.de/documents/18/2120797/_Stellenausschreibung_SJA_final.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
