-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
of reinforcement learning and bandit algorithms Mathematical and algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern AI systems Requirements: PhD in Mathematics, Computer Science
-
approaches. Formal models are directly applied in real experimental facilities. Marine Robotics is our main emphasis, but candidates with prior experience on Aerial or Ground Systems are not excluded. We
-
. 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