2 verification-computer-science Postdoctoral positions at Aalborg University

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg University | Denmark | about 20 hours ago

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

POSTDOC POSITION AVAILABLE: Graph Machine Learning and Graph Data Management

Aalborg University | Denmark | about 1 month ago

, 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