Entwicklung und Implementierung von Verfahren zur formalen Verifikation in der Entwicklung von Cyber-Physical Systems...
Stellenangebot #30323 Promotion Informatik Mathematik Grundlagenforschung Doktorand*in - PostDoktorand*in Informatik...