498 programming-"the"-"DAAD"-"IMPRS-ML"-"UCL"-"Prof"-"FEMTO-ST"-"U.S"-"IDAEA-CSIC" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Southern Denmark
- Aarhus University
- Aalborg University
- University of Copenhagen
- Copenhagen Business School
- Aalborg Universitet
- Technical University Of Denmark
- Aarhus University;
- DTU Electro
- COPENHAGEN BUSINESS SCHOOL
- Copenhagen Business School , CBS
- Technical University of Denmark;
- ;
- Danmarks Tekniske Universitet
- NKT Photonics
- Queen's University Belfast
- Technical University of Denmark - DTU
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Birmingham
- University of Groningen
- University of Southern Denmark;
- 14 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Mathematics
- Business
- Science
- Chemistry
- Materials Science
- Psychology
- Social Sciences
- Environment
- Humanities
- Electrical Engineering
- Linguistics
- Arts and Literature
- Earth Sciences
- Education
- Philosophy
- Law
- Physics
- Statistics
- 13 more »
- « less
-
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
-
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
-
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
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in quantum programming languages. The position has
-
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
-
particular niche will be part of the position. The group has a very strong infrastructure and internal teaching program and covers multiple areas of pharmacoepidemiology, including method development
-
Garmash, Department of Chemistry, olga.garmash@chem.ku.dk , Direct Phone: +4593588642 The PhD programme A three year full-time study within the framework of the regular PhD programme (5+3 scheme), if you