-
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
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
. 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
-
. The position is placed in the Division for Computer Networks and Systems and is formally employed by Chalmers University of Technology. Our research spans from theoretical computer science to applied systems