2 web-semantic PhD positions at University of Southern Denmark in Denmark

PhD position in Quantum Algorithms

University of Southern Denmark | Denmark | about 17 hours ago

Denmark Campusvej 55 DK-5230 Odense Denmark Web Page: https://sdu.dk/qm

PhD position in the Foundations of Programming Languages

University of Southern Denmark | Denmark | about 1 month ago

on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD