Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
, 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
-
English language requirements for doctoral education. Verification of your documents Karolinska Institutet checks the authenticity of your documents. Karolinska Institutet reserves the right to revoke admission
-
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
-
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
-
with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation
-
doctoral degree Verification of parental leave, sick leave or military service, if relevant Documents verifying awards and recognitions stated in your CV, leadership or teaching activities, etc, and other
-
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