The University of Konstanz is offering a full-time Doctoral/Post-Doctoral position in Computer Science, focusing on the development of methods and tools for complex software and systems. This role prioritizes research in formal and algorithmic methods, specifically within the scope of the DFG-funded project "SCADNet".