Professor in Logic and Verification in Computer Science
The Technical University of Munich (TUM) invites applications for the position of W3 Associate or Full Professor; to begin as soon as possible. The professorship will be assigned to the TUM Department of Computer Science at the TUM School of Computation, Information and Technology...