Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Aarhus University
- Technical University of Denmark
- Aalborg University
- University of Southern Denmark
- University of Copenhagen
- Aalborg Universitet
- Copenhagen Business School
- Queen's University Belfast
- Technical University Of Denmark
- 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
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
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