-
. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic technologies, aiming to develop systematic techniques for handling protected data
-
of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF: https://www.imfid.org )— a logic
-
science or informatics for this position, such as programming language theory, formal methods or semantic technology A solid documented background in theoretical computer science is required Foreign completed degree (M.Sc
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions