47 proof-checking-postdoc-computer-science-logic positions at University of Copenhagen
Sort by
Refine Your Search
-
Associate Professor in Database Research in Veterinary Medicine Department of Veterinary and Animal Sciences Faculty of Health and Medical Sciences University of Copenhagen The University seeks
-
Novo Nordisk Foundation Quantum Computing Programme (NQCP) at the Niels Bohr Institute at Faculty of Science, the University of Copenhagen is looking for a Control Software Engineer. About us The
-
Condensed Matter Physics 1 (CMP1) (skema A) 70 timer Scientific Computing (skema C) 80 timer Astrofysik og Kosmologi (skema C) 80 timer Blok 2: Elektrodynamik og bølger (EM2), regneøvelser (skema A) 110 timer
-
organising and conducting their own research project (under supervision). The programme culminates in the submission of a PhD thesis, which the student must defend in public. The programme is prescribed to 180
-
is a fixed term position for 36 months. Introduction The Postdoc will contribute to the ERC-funded project “Women in the Nordic Enlightenment (WHENCE). Changing the narratives of early modern
-
, ITU and DTU led by the University of Copenhagen in close collaboration with the Pioneer Centre for AI. You will be physically located at the Faculty of Social Sciences at the University of Copenhagen
-
, Denmark [map ] Subject Areas: Astrophysics / Theoretical Astrophysics Cosmology/Particle Astrophysics Condensed Matter Physics / Computational Physics , Condensed Matter Theory Planetary Sciences
-
collaboration, as part of the employment process at the University of Copenhagen. Notice: In the following description of the PhD programmes, some references are made to SCIENCE websites The PhD programme
-
The Novo Nordisk Foundation Quantum Computing Programme (NQCP) is establishing a talented and diverse international team to create a cutting-edge quantum programme in the heart of Copenhagen
-
more than 1300 Danish 6-11-year-old children. This included food and nutrition intervention components in the form of a school lunch programme, activities in the local supermarkets and SFO and practical tools