Sort by
Refine Your Search
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
questions about the recruitment process, please contact HR Coordinator Mette Fisker Præstegaard, Email: mfp@au.dk Place of work Department of Political Science, Bartholins Allé 7, 8000 Aarhus Formal
-
://mgmt.au.dk/ . Place of work Aarhus BSS, Department of Management, Fuglesangs Allé 4, DK-8210 Aarhus V Formal requirements You can read more about how to apply in the application guide and find the rules and
-
degrees in either the natural sciences (chemistry, physics, mathematical/computational biology) or in the formal sciences (statistics, computer science, mathematics), but must have a serious interest in
-
Margit Anne Petersen, map.crf@psy.au.dk Place of work Bartholins Allé 10, DK-8000 Aarhus C, Denmark Formal requirements You can read more about how to apply in the application guide and find the rules and
-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities
-
English. As a formal qualification, you must hold a MSc degree (or equivalent). Assessment Candidates will be assessed by Senior Researcher/Associate Professor Mikkel Heuck and Professor Jesper Mørk. We
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
, tbrems@ps.au.dk, 40 17 21 90 Place of work Bartholins Allé 7, 8000 Aarhus C Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD