Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
. The successful candidate will work directly with the project’s principal investigator, Assoc. Prof. Robin Kaarsgaard , an internationally recognised expert in the areas of quantum programming languages
-
Job Description We are seeking an outstanding postdoctoral candidate in the field of theoretical catalysis. The postdoc will be a member of the Catalysis Theory Center (CatTheory) at the Technical
-
complex droplet flow patterns and the relations with the chemistry. One successful theory for optimization of surfactant impact and blends is the hydrophilic-lipophilic deviation balance. This enables us to
-
: Operator Algebras, Machine Learning, Analytic Number Theory, Automorphic Forms and Representation Theory Appl Deadline: 2025/10/10 11:59PM (posted 2025/09/10, listed until 2025/10/10) Position Description
-
record in probability theory, analysis, or related areas. Ability to work independently and collaboratively in an international team. Place of work Place of employment is Aarhus University, and place of
-
available for a period of 18 months, with the possibility of extension based on performance and contributions to the DK-Future project. The physical location of this position will be at the Copenhagen campus
-
sessions with participants. In terms of theory, the project should contribute to the host project’s overall understanding of the relations of language and work and the material as well as symbolic
-
, starting on 1 January 2026 or soon thereafter. The position is available for a period of 18 months, with the possibility of extension based on performance and contributions to the DK-Future project. The
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
. The successful candidate will work directly with the project’s principal investigator, Assoc. Prof. Robin Kaarsgaard , an internationally recognised expert in the areas of quantum programming languages