-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
, and Computer Science & Engineering. The Computer Science Department at Aalborg University takes a leading international position within data management and verification. Aalborg is an attractive student
-
University takes a leading international position within data management and verification. Aalborg is an attractive student city located at a fjord and close to the sea, and is well-connected (by car, train