-
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
-
. 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
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions