Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
relevant field of computer science or informatics for this position, such as programming language theory, formal methods or semantic technology A solid documented background in theoretical computer science
-
Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their
-
interdisciplinary research in the areas of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions