Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
on the development of formal models and computational tools for the structured representation of knowledge and for automated reasoning over data originating from heterogeneous sources, with particular attention
-
of empowering citizens for the use of such technology. This work will be developed with the support of the interplay of Semantic Technologies (e.g., ontologies, knowledge graphs) and Artificial Intelligence
-
Inria, the French national research institute for the digital sciences | Villers les Nancy, Lorraine | France | 4 days ago
entities in distributed data systems. The project will pursue three main objectives: Formalizing replicated hybrid views. Define a declarative and semantic foundation for views that unify relational and
-
in linguistics, with a focus on teaching and advising in formal semantics. The ability to teach and advise students in another area in addition to semantics is a plus. The lecturer will be responsible
-
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 it
-
Job related to staff position within a Research Infrastructure? No Offer Description Are you looking for a PhD position at the intersection of logic, philosophy and semantics? Would you like to be part
-
Job related to staff position within a Research Infrastructure? No Offer Description Are you looking for a postdoc position at the intersection of logic, philosophy and semantics? Would you like to be
-
of Communication Theory, which covers the following topics: 1) pragmatics and semantics of the Polish language, 2) multimodality in human communication, 3) the relationship between linguistic communication and other
-
, is looking to fill one four-year postdoc position on the philosophy, semantics and logic of provability talk. GOOD INTENSIONS is a research project funded by a European Research Council (ERC) Advanced
-
Internet, Earth Observation, and Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data processing, signal