Sort by
Refine Your Search
-
Listed
-
Field
-
areas: formal methods, machine learning. Additional knowledge and experience within the following areas are appreciated: formal verification, deep learning, dynamical systems, control theory. Excellent
-
of a novel condition monitoring system. Responsibilities: Develop machine learning algorithms and methods for condition monitoring of a disruptive new main bearing technology. Analyze sensor data from
-
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
-
. To overcome this challenge, neural architecture search and other ideas within the general field of automated machine learning have been proposed. We seek one or more PhD students(employed as PhD fellow if you
-
environmental and heritable factors in a family tree of over 6 million Danes affect disease risk, to using machine learning on genetic and phenotypic data to define clusters of patients with different disease
-
In line with the commitment to building a theoretical foundation of safe reinforcement learning, we are looking for a highly motivated and talented PhD student to join our team. The position is a