Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Denmark
- University of Southern Denmark
- Aalborg University
- Nature Careers
- University of Copenhagen
- Copenhagen Business School , CBS
- Aarhus University
- Technical University Of Denmark
- ; University of Aarhus
- ;
- Copenhagen Business School
- ; Technical University of Denmark
- 2 more »
- « less
-
Field
-
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
-
candidate, who will contribute to the development and implementation of the theory, and to applications in secure compilation. Further details on the planned research are summarized in the technical part 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
-
master's degree. The degree could be in aquatic science, biology, physics, math, engineering, or similar. You are expected to demonstrate proficiency in written and spoken English. Analytical skills and
-
) 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