-
. 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
-
The EvOmics group at Aarhus University is seeking a postdoctoral researcher to join an interdisciplinary project that combines plant genomics, artificial intelligence, and evolutionary biology. The
-
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
-
, sustainability assessments, etc. Research areas include: Advance data science, predictive modelling, and intelligent systems for the Agro-Food domain. Adopt theoretical research results (algorithmic developments
-
research results (algorithmic developments, data mining techniques, etc.) to feasible deployment • Integrate the developed techniques with modern ICT/IoT and other digitalization systems • Cooperation