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
-
the research findings in real life operating conditions, in an approach to close the gap between pure theory and experimental verifications. You will need to represent the group in different contexts, both in
-
pure theory and experimental verifications. You will need to represent the group in different contexts, both in Sweden and abroad and hence have excellent skills in English. Further information
-
experimental verifications. You will need to represent the group in different contexts, both in Sweden and abroad and hence have excellent skills in English. Further information The employment is limited to 2