-
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
-
) invites candidates to apply for one or more fully funded 3-year PhD position. The (IDE) Research Unit SDU Innovation and Design Engineering is a young, dynamic, and growing research unit. Research-based