Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
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
-
/about/profile/vacant-positions/job/postdoctoral-positions-in-probability-theory-and-analysis-aarhus-university . Contact: Fabrice Baudoin Email: Postal Mail: Ny Munkegade 118, Building 1530 DK-8000
-
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
-
MSc students and contribute to high-impact publications. An inclusive, international, and collaborative research environment at AAU-Copenhagen. About the Department The Department of Computer Science
-
. About the Department The Department of Computer Science at Aalborg University is highly regarded in Denmark among researchers, students, and external partners for its leading research, education, and
-
theory. Formal models of quantum computing (e.g., ZX-calculus). Fluency in English is required. For further information, please contact Assoc. Prof. Robin Kaarsgaard at kaarsgaard@imada.sdu.dk . About the
-
relations between language and work to generate knowledge about social orders in the agricultural sector specifically, but also in the global labour market more generally. Based on these insights it