The University of Konstanz is seeking candidates for a full-time Doctoral/Post-Doctoral position in Computer Science, focusing on the development of methods and tools for complex software and systems. This opportunity emphasizes formal and algorithmic methods, particularly in conjunction with the DFG-funded research project 'SCADNet.'