-
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
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
-
. 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
-
position: Applicants who do not yet meet the formal pedagogical requirements may be hired permanently, provided they complete the necessary pedagogical training within two years. A well-structured