Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
. Qualifications To qualify, you must have a doctoral degree in a relevant topic. Good recommendations from your previous supervisor are meriting. Similarly, good publications are meriting but not a formal
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
-
us The High-Energy part of the Theoretical Subatomic Physics group performs research into elementary particle physics from model building and Dark Matter to formal Quantum Field Theory
-
model building and Dark Matter to formal Quantum Field Theory. Organizationally we are part of the division of Subatomic, High-Energy and Plasma Physics within the Department of Physics . We have a
-
. We celebrate diversity and consider equality and inclusion as fundamental aspects of all our activities. Note that there is no formal requirement to speak or understand Swedish, but if Swedish is not