Sort by
Refine Your Search
-
functional safety, security, quantitative performance, and exploitation of modern machine learning technology. It is the overall hypothesis of S4OS that a full integration of model checking and synthesis with
-
relevant Master’s programme, such as Chemical Engineering, Chemistry, Condensed Matter Physics, Materials Science or similar. The integrated stipend consists of two parts, A and B. During part A you are
-
years. It is a prerequisite for allocation of the stipend that the candidate will be enrolled as a PhD student at the Doctoral School in Medicine, Biomedical Science and Technology in accordance with
-
learning with safety constraints. Qualification requirements: Master's degree in Electrical Engineering or a related field. Excellent understanding of dynamical systems and optimal control. Proficiency in