Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Denmark
- Nature Careers
- Aarhus University
- University of Southern Denmark
- Aalborg University
- University of Copenhagen
- Aalborg Universitet
- Copenhagen Business School
- Technical University Of Denmark
- ;
- Roskilde University
- Queen's University Belfast
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- 4 more »
- « less
-
Field
-
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
-
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
-
that supports responsible, reliable, and actionable science. The research questions, methodology, and project plan for the Post-doc project will be developed together with the supervisor (Joeri Witteveen) in
-
background in thermodynamics and phase behavior of complex mixtures Excellent programming skills (e.g., Python, C++, Fortran, or similar) Experience with COSMO-based methods, including parameterization, model
-
. The project is situated with the Creator Economies Lab, and the working language of the project is English, although data collection will also include Japanese and Spanish. The postdoc will lead a sub-project
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
of platform fabrication will be a central aspect that has to be considered. Your primary tasks will be to: plan and execute experimental research design and fabricate micro- and nanoelectrode chips in the DTU
-
28 Oct 2025 Job Information Organisation/Company UNIVERSITY OF COPENHAGEN Research Field Architecture Arts Educational sciences History Philosophy Religious sciences Language sciences Literature
-
should have experience with network modelling and programming. Experience with systematic reviews and meta-analyses is an asset, but not a prerequisite for the position. The successful candidate will work