-
linear algebra, numerical methods for PDEs and dynamical systems, stochastic methods in statistical mechanics, hydrodynamic limits, interacting many-body systems, quantum macroscopic evolution equations
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions