Sort by
Refine Your Search
-
Employer
-
Field
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability
-
computer science. Interactive theorem provers. Category theory (for computer science). Fluency in English is required. About the Department and the University Based in Odense, the Department of Mathematics and
-
) of mathematics, mathematical physics or theoretical physics. The successful candidate will have some background in mathematics, particularly topology and category theory, as well as some knowledge of
-
to foster new ideas and solutions. We collaborate with leading research groups around the world at universities, research facilities, and private companies. At DTU Physics, we perform research and teaching in
-
) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory defines a
-
of fifteen (15) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory
-
soon as possible thereafter. The workplace is the SDU Campus Odense in Denmark, with some travel required within Denmark. Mastering the Danish language at a proficiency level is a requirement