-
, with expertise both in theoretical methods and in numerical study, and with a particular focus on the application of quantum information driven tools, such as tensor networks or convex relaxations
-
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
-
home of several third-party funded research projects. Through cooperation with numerous academic institutions worldwide, the Department is very well connected with the international scholarly community
Searches related to numerical methods
Enter an email to receive alerts for numerical-methods positions