73 formal-verification-computer-science Postdoctoral positions at Technical University of Denmark
Sort by
Refine Your Search
-
, emmva@dtu.dk . You can read more about the Department of Applied Mathematics and Computer Science at www.compute.dtu.dk and about the Section for Cybersecurity Engineering at www.compute.dtu.dk/sections
-
broad interest in information processing in humans and computers, and a particular focus on the signals they exchange, and the opportunities these signals offer for modelling and engineering of cognitive