Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
. The Cluster involves more than 30 researchers from four academic institutions (Austrian Academy of Sciences , University of Vienna , Central European University , University of Innsbruck ). The Cluster explores
-
developments in the field of digitalization (e.g. current issues regarding artificial intelligence, data economics, platform regulation, data protection). The willingness to actively contribute to larger
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions