229 programming-"the"-"DAAD"-"UCL"-"FEMTO-ST"-"Prof"-"IMPRS-ML"-"https:" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- University of Southern Denmark
- Aarhus University
- Aalborg University
- Nature Careers
- University of Copenhagen
- Aarhus University;
- Queen's University Belfast
- Technical University of Denmark;
- University of Birmingham
- University of East Anglia
- University of Southern Denmark;
- 2 more »
- « less
-
Field
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for a postdoctoral research fellowship in models of quantum programming
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in quantum programming languages. The position has
-
Computer Science, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the
-
include research, teaching and supervision. Focusing on probabilistic modelling of existing structures, the successful candidate will carry out research related to the new research programme called Civil