W2-Professur Theoretische Informatik (m/w/d)
Die Stelleninhaberin/der Stelleninhaber vertritt das Fach Theoretische Informatik in Forschung und Lehre und ist hierfür einschlägig wissenschaftlich qualifiziert. Herausragende Forschungsleistungen und Projekterfahrung werden vorausgesetzt. Die Stelleninhaberin/der Stelleninhaber ist in einem Kerngebiet der Theoretischen Informatik und idealerweise in einem der folgenden Gebiete wissenschaftlich ausgewiesen:Algorithmische Informationstheorie,Moderne Komplexitätstheorie,Formale Semantik, Logiken und Wissensrepräsentation,Kryptographie,Algorithm Engineering,Quantum Computing,Compilerbau, Grundlagen von Programmiersprachen, Programmverifikation.Von … Weiterlesen …