Logic List Mailing Archive

CfA: Postdoctoral Position in Formal Methods and Verification, University of Konstanz (Germany), deadline: 6 Jan 2026

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of 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 <mailto:Stefan.Leue@uni-konstanz.de> 
WWW:    http://sen.uni-konstanz.de

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php