Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
on developing methods for the verification and validation of such product and services system, addressing challenges such as non-determinism, data drift, and explainability. In your research project, you will
-
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
-
on developing methods for the verification and validation of systems that embed machine learning or generative models, addressing challenges such as non-determinism, data drift, and explainability. The project
-
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
-
validation of industrial control and automation systems, simulation and verification, neuromorphic computer architectures, and communication. You will work in the project "Vector Symbolic Architectures as an
-
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
-
sites will be conducted for further verification. You will work closely with researchers from industry and research institutes across Europe. The work requires extensive modeling, materials
-
, aims to develop a holistic framework for formal verification of both safety and security of autonomous robots, and their digital twin, as well as automated synthesis of safe controllers by applied