Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
of programming languages. The ideal candidate has an MSc in Computer Science or Mathematics and experience in one or more of the following areas: Theory of programming languages. Logical methods in
-
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
-
of programming languages. The ideal candidate has an MSc in Computer Science or Mathematics and experience in one or more of the following areas: Theory of programming languages. Logical methods in
-
project in Perturbative Quantum Field Theory. Targeted starting date for the position is 1 August 2025. We are not permitted to directly contact your academic references under any circumstances, so please
-
. This position is funded by the Danish Research Council Project 1 (DRC-1), which aims to address fundamental problems in geometric singular perturbation theory within the setting of slow-fast analytic vector
-
, secure digital communication, medical technology, and new analytical methods. We use and develop basic theory, next-generation instrumentation, and software, and aim to make our data publicly accessible
-
) 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