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

PhD position in the Foundations of Programming Languages

University of Southern Denmark | Denmark | 26 days 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

PhD position in Quantum Algorithms

University of Southern Denmark | Denmark | 3 days ago

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