Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
. The postdoc will join the Data and Knowledge Management (DKM) group at the Department of Informatics. The research in the group focuses on Data Management, logic-based Knowledge Representation, Reasoning and
-
, you will conduct cutting-edge research in these areas. You will learn state-of-the-art techniques in formal methods and knowledge representation and apply them to high-impact use cases related
-
the U.K. The project will investigate the representation of phonological knowledge and its relationship to script. This includes investigating how script interacts with representations in (morpho
-
- Knowledge that shapes society UiB shall be among Europe's leading universities, internationally recognized for high quality in research and education. As a societal institution, we shall contribute
-
cities with headquarters in Trondheim. At NTNU, 9,000 employees and 43,000 students work to create knowledge for a better world. You can find more information about working at NTNU and the application
-
cities with headquarters in Trondheim. At NTNU, 9,000 employees and 43,000 students work to create knowledge for a better world. You can find more information about working at NTNU and the application
-
knowledge for a better world. You can find more information about working at NTNU and the application process here . About the position High-pressure die-cast (HPDC) aluminium alloys are widely used in
-
the group focuses on Data Management, logic-based Knowledge Representation, Reasoning and Semantic Technologies. The candidate is expected to strengthen the capacity of research and supervision of the group
-
Engineering Apply for this job See advertisement About the position Position as PhD Research Fellow in formal methods and knowledge representation available at Department of Informatics. The fellowship period
-
skills and mathematical background, with a keen interest in applying formal logic to generative models. Familiarity with knowledge representation (e.g., knowledge graphs or semantic technologies