Sort by
Refine Your Search
- 
                Listed
- 
                Employer- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Southern Denmark
- Aalborg University
- Copenhagen Business School
- Aalborg Universitet
- Technical University Of Denmark
- University of Copenhagen
- Queen's University Belfast
- Roskilde University
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 3 more »
- « less
 
- 
                Field
- 
                
                
                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..., 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