2 programming-language-"Prof"-"University-of-Strathclyde"-"Prof.-Dr" PhD positions at Aalborg University in Denmark

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

Aalborg University | Denmark | about 23 hours ago

are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods

PhD stipend in causal discovery and spatiotemporal analysis of brain signals

Aalborg University | Denmark | 12 days ago

. The stipend is within the general study programme Electrical and Electronic Engineering, and available from January 1st, or as soon as possible thereafter. The duration of the position is three years. In