-
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
-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities
-
Proficiency in Danish is required due to collaboration with Danish Industry. Proficiency in English, either demonstrated through formal education or a Master's degree conducted in English. Preferred
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions