Sort by
Refine Your Search
-
noncommutative geometry in quantum information based on methods in spectral theory, operator algebras, global analysis and noncommutative geometry. The nature of the project is flexible and depends on the PhD
-
methods, numerical analysis for stochastic PDEs, numerical analysis for multiphysics problems that couple different types of PDEs for waves, heat, elasticity, flows, etc. The duties primarily involve
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions