1 computer-science-quantum "https:" "https:" "https:" "https:" uni jobs at University of Southern Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 3 months ago

) seek an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is