the University of Konstanz (Germany) has the opening of a full-time
*Post-Doctoral Position* (reference no. 2025/245).
The position is available immediately. The start date is no later than
June 1st, 2026. The position is initially available for up to two years
with the
possibility of extension. Exceptional PhD candidates may also be
considered if they are at an advanced stage of their doctoral studies.
The successful candidate is expected to contribute to the goals of the
DFG-funded research project "SCADNet". In this context, research
contributions in at least two of the areas formal verification, formal
guarantees for Deep Neural Networks, models of causality, automated
repair of real-time systems, system safety, formal techniques in legal
tech, and generally formal methods and verification are of great interest.
The working language is English. Proficiency in German is not a
prerequisite.
Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least € 57.000,00 p.a.
Application deadline: January 6, 2026.
For the official job ad and access to the online application portal (at
the bottom of the page) please see
https://stellen.uni-konstanz.de/jobposting/64107b4a4fa3e9f11fa7cf4ccb6f9e7b6086f5260
.
I will be glad to answer further questions and look forward to receiving
your application (exclusively via the online application portal) for
this exciting research opportunity!
Stefan Leue
--
Prof. Dr. Stefan Leue
Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany
Office: PZ902
Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
Email:Stefan.Leue@uni-konstanz.de
WWW:http://sen.uni-konstanz.de
**********************************************************
*
* 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/
*
**********************************************************