137 programming-"the"-"IMPRS-ML"-"IDAEA-CSIC"-"U"-"FEMTO-ST"-"Prof" Postdoctoral positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Aarhus University
- Nature Careers
- Technical University of Denmark
- Aalborg University
- University of Southern Denmark
- Aalborg Universitet
- University of Copenhagen
- Copenhagen Business School
- Technical University Of Denmark
- Queen's University Belfast
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 2 more »
- « less
-
Field
-
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 Summer 2026, with
-
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
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
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