Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability
-
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
-
project in Perturbative Quantum Field Theory. Targeted starting date for the position is 1 August 2025. We are not permitted to directly contact your academic references under any circumstances, so please
-
Post doc position in theory of machine learning at Department of Computer Science, Aarhus University
pursuing other ideas and directions within theory of machine learning if the candidate has preferences or ideas from prior work. Tasks and Qualifications: The research is carried out in collaboration with
-
) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory defines a
-
of fifteen (15) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory
-
environment This Ph.D. is a jointed project between Dept. of Clinical Biochemistry, Herlev Gentofte Hospital, Region H and DaCHE, SDU. You will work closely with Associate Professor Liza Sopina based at DaCHE