Sort by
Refine Your Search
-
Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role
-
achieve automated data driven optimization (in terms of time and quality) of polishing process parameters by application of machine learning algorithms, leading to a robust, repeatable and fast polishing
-
thus including sensing systems, tool condition features selection, algorithms for automated signal preprocessing, feature extraction and decision making based on ML and AI. An integral part of
-
properties of skeletal muscle during static and dynamic contractions. The student will also participate in early-stage algorithmic work to model muscle architecture and behavior across contraction types. In
-
achieve automated data driven optimization (in terms of time and quality) of polishing process parameters by application of machine learning algorithms, leading to a robust, repeatable and fast polishing
-
thus including sensing systems, tool condition features selection, algorithms for automated signal preprocessing, feature extraction and decision making based on ML and AI. An integral part of
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You will become part of an inspiring research environment
-
degradation modes. Evaluating suitable sensor technologies and data sources for acquiring relevant metrics. Developing tools and algorithms to automatically analyse sensor data, assess asset condition, and
-
an optimal molecular representation (including data procurement) and integrating generative model and binding oracles. Propose an algorithm to bias the generative models towards desirable properties, such as