Sort by
Refine Your Search
-
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
-
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
-
, 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
-
for expert assessments are found here . The recruitment process may include interviews, trial lectures and verifications of references provided. More about Umeå School of Business, Economics and Statistics As
-
. The Faculty of Social Sciences’ instructions for application and instructions for expert assessments can be found here . The recruitment process may include interviews, trial lectures and verifications