84 master-"https:" "https:" "https:" "https:" uni jobs in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for master-"https:" "https:" "https:" "https:" positions

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Method

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration with world-leading
Professor in Multiphysical Design and Optimization - DTU Construct

Technical University of Denmark | Denmark | 3 months ago

PhD levels. DTU employs two working languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. You will be assessed against
DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 3 months ago

of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a
Student Assistant for NQCP

University of Copenhagen | Denmark | about 1 month ago

Quantum Computing Programme can be found on the website: https://nqcp.ku.dk/ The Faculty of Science at the University of Copenhagen – or SCIENCE – is Denmark's largest science research and education

Enter an email to receive alerts for master-"https:" "https:" "https:" "https:" positions