-
implement advanced methods for Bayesian model comparison in JAX. These techniques will then be used to systematically explore alternative models for user-defined statistical problems. The second task is to
-
an interdisciplinary research team and contribute to innovative studies using EEG, virtual reality, robotics and computational methods. You will be part of the project 'The Body Positioning System: A GPS for
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions