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