Fully funded PhD position in reliable 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 and the Center for 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 [email protected]. 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 * * [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/ * **********************************************************