Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
- Technical University of Denmark
- Nature Careers
- Aarhus University
- University of Southern Denmark
- Aalborg University
- University of Copenhagen
- Aalborg Universitet
- Copenhagen Business School
- ;
- Aarhus University;
- Technical University Of Denmark
- Queen's University Belfast
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 4 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
-
projects with high-profile publications. You must contribute to the teaching of courses. DTU employs two working languages: Danish and English. You are expected to be fluent in at least one of these
-
that supports responsible, reliable, and actionable science. The research questions, methodology, and project plan for the Post-doc project will be developed together with the supervisor (Joeri Witteveen) in