The Doctoral Program (DK) ''Computational Mathematics: Numerical Analysis and Symbolic Computation'' at the Johannes Kepler University Linz, Austria, is offering two PhD positions for the duration of three years.
The DK is an excellence program funded by the FWF providing high level interdisciplinary training in two fundamental areas of computational mathematics and their interactions: numerical analysis and symbolic computation.
Description of the positions
DK1: Formal Gröbner Bases Theory
This position for a PhD student belongs to the project "Formal Gröbner Bases Theory". This project is led by Professor Bruno Buchberger, inventor of the theory of Gröbner bases and initiator and head of the Theorema Group. The Theorema system is a logic and software system for computer-supported mathematical theory exploration. The goal of this PhD project is the build-up and expansion of Gröbner bases theory as a formal mathematical theory within the Theorema system. The project is in the center of the current research interest of Professor Buchberger: The PhD student working on this project will receive his full attention and a profound training both in the essence and applications of Gröbner bases and a new way of exploring mathematical theories by formulating automated reasoning tools on the meta-level of a theory while working, at the same time, on the mathematical contents of the theory.
DK13: Multivariate Symbolic Asymptotics
The open position belongs to the DK-subproject on Multivariate Symbolic Asymptotics. The goal in this project is the development of computer algebra algorithms for obtaining asymptotic information of functions and sequences in several variables. This is a promising and exciting research topic with various interesting open questions that could be addressed in a PhD thesis ranging from rather theoretical considerations to very concrete applications connecting to other parts of mathematics and engineering.
• Institute of Applied Geometry
• Institute of Computational Mathematics
• Industrial Mathematics Institute
• Research Institute for Symbolic Computation (RISC)
• Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences
The positions are available from now on and will remain open until suitable candidates have been found.
Further information (application procedure, etc.)
Johannes Kepler University Linz, Doctoral Program (DK)
Altenberger Straße 69, 4040 Linz, Austria