Sort by
Refine Your Search
-
Category
-
Program
-
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
-
these connected directions. Research will emphasise new learning algorithms and rigorous evaluation using public datasets, simulation and, where available, robotic and edge-computing platforms. Evaluation will
-
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
-
one day a week on campus. Job description The computational biologist will be expected to: Lead the development of acoustic detection and classification algorithms for marine mammals. Evaluate algorithm
-
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
-
and experiments with modelling of these experiments. As part of this, we have developed new algorithms and a completely new web-based platform – EasyNMR - for performing such modelling/simulations. With
-
research results (algorithmic developments, data mining techniques, etc.) to feasible deployment • Integrate the developed techniques with modern ICT/IoT and other digitalization systems • Cooperation
-
establish new strategies to improve the accuracy of radiotherapy dose calculations including algorithms for virtual iodine contrast removal. Overall, the project will aim to establish clinical workflows