-
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
-
. 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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions