Sort by
Refine Your Search
-
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
-
of fifteen (15) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory
-
theory and empirical methods to answer health policy research questions and improve research methods. Our main research themes include health-related behavior, equity in health and access to healthcare
-
, theory, and methods of the PhD project is up to the candidate. It is highly recommended that interested candidates contact one of the project leads to discuss their PhD proposal prior to application