-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
computer science and philosophy. The REMAX project on Rigorous Evaluation Methods for AI Explainability, funded by a Villum Synergy grant, aims to create methods for explainable AI and their rigorous evaluation. It
-
, C++, or equivalent) Experience with 3D modelling, rendering, or fabrication, and haptic feedback Familiarity with computational or optimization methods applied to interaction (e.g., computational UI
-
information science, broadly defined. Experience in topological materials/ topological quantum computation/ quantum geometry/ exposure to tensor network methods or and/or AI/LLM for physics would be a positive addition
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine