172 proof-checking-postdoc-computerscience Fellowship positions at University of Oslo in Norway
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
international research profiles through collaboration, conference participation, and research stays abroad. About the NeuroPathways Convergence Environment and the postdoc project Convergence Environments
-
UiO/Anders Lien 16th March 2026 Languages English English English Join the University of Oslo as a Postdoc in AI & Robotics! Collaborate with top experts to design intelligent robots. Postdoctoral
-
the NeuroPathways Convergence Environment and the postdoc project Convergence Environments are interdisciplinary research groups that aim to solve grand challenges related to health and environment
-
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
-
, software, and potentially hardware and explores them in artistic contexts. This postdoc position will be part of WP1 of MishMash. The appointed candidate is expected to collaborate across the MishMash
-
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
-
as a Postdoc in AI & Robotics! Collaborate with top experts to design intelligent robots. Postdoctoral Research Fellow in AI methods for robotic body-brain co-design Apply for this job See
-
use of data pipelines for national registry integration, enabling scalable and reproducible analyses across linked health and vaccination registries. The postdoc will use linked national health and
-
external driving forces that make a planet habitable and inhabited. We are looking for motivated postdoc candidates to join the research group of Associate Prof. Konstantin Herbst. The focus of this group is
-
undergo a check versus national export, sanctions and security regulations. Candidates may be excluded based on these checks. Primary checkpoints are the Export Control regulation, the Sanctions regulation