172 programming-"the"-"DAAD"-"UCL"-"U"-"SciLifeLab"-"U.S" "The University of Manchester" Postdoctoral positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Nature Careers
- Aarhus University
- Technical University of Denmark
- University of Southern Denmark
- Aalborg University
- Aalborg Universitet
- University of Copenhagen
- Copenhagen Business School
- Technical University Of Denmark
- Roskilde University
- Queen's University Belfast
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 3 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
-
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
-
leads JWST programs and has had multiple proposals accepted from our group (GO 2420 , GO 3730 , GO 7675 ). Through international collaborations, we are also deeply involved in several other JWST programs
-
Jan 2026 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? Yes Offer Description
-
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 Copenhagen Business
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Postdoctoral Position in Probabilistic Machine Learning