Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
or interest in one or more of these areas: quantum field theories and effective quantum field theories, lattice QCD, non-equilibrium evolution in quantum field theory, finite temperature QCD, phenomenology
-
strong drive and background in one or more of these areas: quantum field theories and effective quantum field theories, lattice QCD, non-equilibrium evolution in quantum field theory, finite temperature
-
, in particular, system software and embedded systems - Automated analysis of the security of complex software systems - Risk analysis and security assessment, security metrics - Security in
-
well as the statistical and bioinformatics analysis of chemical and biological processes and systems, and to gain a deeper understanding of biochemical and biotechnological processes and systems through the integration
-
approaches to the analysis, verification, diagnosis, repair, or synthesis of programs · Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study