273 programming-"the"-"DAAD"-"IMPRS-ML"-"PDI-Service"-"U"-"UCL"-"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
-
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
-
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