[TYPES/announce] Doctoral / Post-Doctoral Position at University of Konstanz

[Stefan Leue]

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of 
the University of Konstanz (Germany) has the opening of a full-time

Doctoral / Post-Doctoral Position (reference no. 2025/152).

The start date is October 1st, 2025 (or a mutually agreeable later date, 
but no later than April 1st, 2026). The position is initially available 
for two years with the possibility of extension.

The position is expected to contribute to the goals of the DFG-funded 
research project “SCADNet”. In this context, research interests in 
formal guarantees for Deep Neural Networks, foundations and models of 
causality, automated repair of real-time systems, system safety, formal 
techniques in legal tech, and generally formal methods and verification 
are welcome.

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: August 30th, 2025.

For the official advertising and access to the online application portal 
(at the bottom of the page) please see

https://urldefense.com/v3/__https://stellen.uni-konstanz.de/jobposting/09f445de88a811767c47d80dfebd48c49bbef89b0__;!!IBzWLUs!VFJuJrDjh-M0WkQwG46hZn1OF7GzV3SWaCXwWJrX2bZh719zSQeQXN4zNv29tJBx10b8WYKKN7_Xlf1jVraYH86lHHmj-m0A-_sSaOZY8CI$ 

I will be happy to answer further questions, and look forward to your 
application 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 at uni-konstanz.de
WWW:    https://urldefense.com/v3/__http://sen.uni-konstanz.de__;!!IBzWLUs!VFJuJrDjh-M0WkQwG46hZn1OF7GzV3SWaCXwWJrX2bZh719zSQeQXN4zNv29tJBx10b8WYKKN7_Xlf1jVraYH86lHHmj-m0A-_sSU6Q_TgI$