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
-
scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean, implementing
-
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
-
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