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
-
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
-
. 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