Sort by
Refine Your Search
-
. 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
-
for excellent and motivated candidates with expertise in Logics for Multi-agent Systems. The postdoc will join the Data and Knowledge Management (DKM) group at the Department of Informatics. The research in
-
Department of Informatics at Blindern, Oslo. Project description We are looking for excellent and motivated candidates with expertise in Logics for Multi-agent Systems. The postdoc will join the Data and
-
of Biostatistics and Health Data Science at Indiana University School of Medicine, in close collaboration with the Regenstrief Institute, a nationally renowned center for health informatics research and real-world
-
(Integreat). Integreat collects scientists from statistics and computer science and offers a flourishing machine learning community, including many PhDs and PostDocs. Starting date between August 15th and
-
PhD Research Fellow in formal methods and knowledge representation available at Department of Informatics. The fellowship period is three years. Depending on the candidate and the teaching needs
-
recently funded centre of excellence (Integreat). Integreat collects scientists from statistics and computer science and offers a flourishing machine learning community, including many PhDs and PostDocs
-
education and research in Computer Science and related topics. The Department has more than 1800 students on bachelor level, 600 master students, and over 240 PhDs and postdocs. The overall staff
-
13 Dec 2025 Job Information Organisation/Company KINGS COLLEGE LONDON Research Field Sociology Ethics in health sciences Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1
-
subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use