492 programming-languages-"the"-"CNRS"-"U"-"UCL"-"O.P"-"FEMTO-ST"-"RAEGE-Az" 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
- Copenhagen Business School
- Aalborg Universitet
- Copenhagen Business School , CBS
- DTU Electro
- Aarhus University;
- Danmarks Tekniske Universitet
- Roskilde University
- ;
- ; University of Cambridge
- Queen's University Belfast
- Technical University of Denmark (DTU)
- Technical University of Denmark - DTU
- Technical University of Denmark;
- UNIVERSITY OF COPENHAGEN
- 11 more »
- « less
 
- 
                Field- Computer Science
- Engineering
- Medical Sciences
- Biology
- Economics
- Mathematics
- Chemistry
- Business
- Science
- Materials Science
- Humanities
- Social Sciences
- Electrical Engineering
- Linguistics
- Psychology
- Earth Sciences
- Arts and Literature
- Environment
- Law
- Education
- Philosophy
- Physics
- Statistics
- 13 more »
- « less
 
- 
                
                
                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..., and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some room 
- 
                
                
                Intelligence, Cybersecurity, and Programming Languages (ACP) . We encourage applications from researchers that can complement or strengthen the competences of the group. Examples of interesting research areas 
- 
                
                
                2026 Is the job funded through the EU Research Framework Programme? Horizon Europe - MSCA Is the Job related to staff position within a Research Infrastructure? No Offer Description The Department 
- 
                
                
                , 2026, or as soon as possible thereafter. Within the European Union’s Horizon Europe research and innovation programme under the Marie Skłodowska-Curie Action (MSCA), University of Copenhagen is offering 
- 
                
                
                , Cybersecurity, and Programming Languages (ACP) and the new SDU Centre for Computer Science and Artificial Intelligence in Campus Vejle. We encourage applications from researchers that can complement or