Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
-
Field
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
models. However, rigorous methods for evaluating XAI algorithms are currently lacking. This is in large part due to a gap between how explainability is evaluated within computer science and philosophy. In
-
of two years. About the Project The successful candidate will advance the algorithmic and theoretical foundations of reinforcement learning applied to complex, high-dimensional dynamical systems
-
. The tasks include battery cell characterization and modelling based on laboratory tests, and development of algorithms for estimating the charge level, health, and power capability which includes robustness
-
data, variant discovery and filtering, and downstream population-genetic and evolutionary-genomic analyses. The work will require substantial data processing, quality control and computational
-
intelligent control and aerial robotics for navigation in uncertain environment. You will be mainly responsible: for implementation of machine-learning algorithms for unmanned aerial vehicles; validation
-
collaboration while providing access to cutting-edge facilities. About the research project The focus of this project is the epidemiology and shared genetics of eating disorders and personality (EpiGen-EP
-
languages. The section is part of the Department of Mathematics and Computer Science, and other research sections at the department are Algorithms Computational Science Data Science and Statistics Geometry
-
sensing technologies (camera, Electromagnetic tracking system, FBG sensing) with continuum robotic systems and development of associated sensing and estimation algorithms 3D environment reconstruction based
-
analytical skills. Knowledge about statistical machine learning, robotic perception, multimodal AI algorithms. Proven experience with reinforcement learning algorithms and implementations. Experience in