Sort by
Refine Your Search
-
Listed
-
Employer
- Nature Careers
- Aarhus University
- Technical University of Denmark
- University of Southern Denmark
- University of Copenhagen
- Aalborg University
- Copenhagen Business School
- Aalborg Universitet
- Technical University Of Denmark
- Roskilde University
- Queen's University Belfast
- 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
-
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
-
of mathematics, and has an active postdoc and visitors' program. Applicants in all areas of mathematics covered by the research groups of the department will be considered. In particular, there will be postdoc
-
mathematics, and has an active postdoc and visitors' program. Applicants in all areas of mathematics covered by the research groups of the department will be considered. In particular, there will be postdoc
-
. The section has ca. 75 employees who work in an internationally and highly collaborative research environment. You can read more about us here: https://plen.ku.dk/english/research/crop_sciences/ . Project