Sort by
Refine Your Search
-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
the following areas: numerical analysis of PDEs (with deterministic and/or stochastic methods), Gaussian Random Fields, mathematical foundations of deep learning, functional analysis and measure theory
-
be given to female candidates. University of Vienna. Space for personalities. Since 1365. Data protection Application deadline: 06/26/2025 Post Doc
-
deadline: 06/08/2025 (MM-DD-YYYY) Post Doc
Searches related to post doc numerical methods
Enter an email to receive alerts for post-doc-numerical-methods positions