Sort by
Refine Your Search
-
Job Description Are you passionate about ontologies, data integration, or semantic technologies—and ready to apply them in a real-world engineering context? Would you like to help shape the future
-
Research Assistant on Session Types: Theory and Programming Semantics Fixed-term until 30 September 2026 to start from 1 October 2025 Grade 06: £34,982-£40,855 per annum inclusive of Oxford
-
becoming standard practice. However, achieving formal assurance of software correctness remains a complex challenge. Seminal work in programming language semantics provides powerful frameworks
-
candidate for this position holds an MA/MSc-degree or equivalent with a focus on Linguistics, and above-average qualifications, has strong familiarity with formal semantics and pragmatics, and excellent
-
, or willingness to work with them Experience with multi-modal machine learning methods Familiarity with formal linguistics, particularly formal semantics and pragmatics We encourage applications from individuals
-
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
-
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
-
We are seeking highly motivated applicants for a 1-year postdoctoral position (with the possibility of 1-year extension) in the area of Goal-Oriented Semantic Communication and Edge Intelligence
-
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