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
-
The project is carried out in a collaboration between Aalborg University and Siemens-Gamesa, and we are seeking a PhD candidate for a project focused on the development and application of machine
-
questions, and we must critically explore the governmental, technical, and ethical challenges that arise from these pressing developments. AIM focuses on generative AI and machine learning for mental health
-
critically explore the governmental, technical, and ethical challenges that arise from these pressing developments. AIM focuses on generative AI and machine learning for mental health, with a particular
-
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