392 programming-"the"-"DAAD"-"IMPRS-ML"-"U"-"Technical-University-of-Denmark"-"Prof" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Southern Denmark
- Nature Careers
- Aalborg University
- Aarhus University
- University of Copenhagen
- Aalborg Universitet
- Copenhagen Business School
- Aarhus University;
- COPENHAGEN BUSINESS SCHOOL
- Copenhagen Business School , CBS
- University of Southern Denmark;
- ;
- NKT Photonics
- Queen's University Belfast
- Technical University of Denmark
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Groningen
- University of St Andrews
- 9 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
-
Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description At the Technical
-
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
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined