Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Southern Denmark
- Aalborg University
- Aalborg Universitet
- Copenhagen Business School
- University of Copenhagen
- Technical University Of Denmark
- Queen's University Belfast
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 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...
by Assoc. Prof. Robin Kaarsgaard . The project aims at introducing new abstractions, models, and programming languages that radically change how we can reason about and develop quantum programs
-
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