-
candidate, who will contribute to the development and implementation of the theory, and to applications in secure compilation. Further details on the planned research are summarized in the technical part of
-
) 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
-
tools, and learning environments which can bring significant improvements in mathematics and/or computer science at university education, through a collaborative, reflective, and theory-informed research
-
on novel high-resolution microscopy techniques to experimentally quantify transition probabilities, alongside density functional theory (DFT) calculations of defects in feldspar. This inter-disciplinary