559 programming-"the"-"IMPRS-ML"-"IDAEA-CSIC"-"U"-"UCL"-"FEMTO-ST"-"Study-Group" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- University of Southern Denmark
- Nature Careers
- Aarhus University
- Aalborg University
- University of Copenhagen
- Technical University Of Denmark
- Aalborg Universitet
- Copenhagen Business School
- DTU Electro
- Graduate School of Arts, Aarhus University
- Aarhus University;
- Copenhagen Business School , CBS
- Danmarks Tekniske Universitet
- Roskilde University
- ;
- COPENHAGEN BUSINESS SCHOOL
- College of Chemistry and Molecular Engineering, Peking University
- King's College London
- NKT Photonics
- Queen's University Belfast
- Technical University of Denmark (DTU)
- Technical University of Denmark - DTU
- Technical University of Denmark;
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Groningen
- University of Southern Denmark;
- 18 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Economics
- Mathematics
- Business
- Chemistry
- Science
- Materials Science
- Psychology
- Arts and Literature
- Humanities
- Electrical Engineering
- Environment
- Social Sciences
- Linguistics
- Earth Sciences
- Education
- Law
- Philosophy
- 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
-
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
-
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
-
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
-
of Biology, E-mail: lellgaard@bio.ku.dk, Direct Phone: +4532351725, website: https://www1.bio.ku.dk/english/research/bms/pbg/le/ . The PhD programme Depending of your level of education, you can undertake the