Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Program
- 
                Employer- Technical University of Denmark
- University of Southern Denmark
- Nature Careers
- Aarhus University
- University of Copenhagen
- Aalborg University
- 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
- COPENHAGEN BUSINESS SCHOOL
- 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
- 13 more »
- « less
 
- 
                Field- Computer Science
- Engineering
- Medical Sciences
- Biology
- Economics
- Mathematics
- Chemistry
- Business
- Science
- Materials Science
- Humanities
- Linguistics
- Social Sciences
- Electrical Engineering
- 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 
- 
                
                
                :00 (UTC) Type of Contract Permanent Job Status Full-time 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 
- 
                
                
                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 
- 
                
                
                The Novo Nordisk Foundation Quantum Computing Programme (NQCP) is establishing a talented and diverse international team to create a cutting-edge quantum programme in the heart of Copenhagen