Symbolic computation is the subarea of mathematics and computer science which solves problems on symbolic objects representable on a computer. The Research Institute for Symbolic Computation (RISC) at the Johannes Kepler University in Linz, Austria, is an international institute with its research focus on various branches of symbolic computation. Research interests of RISC include
-
Algebraic Geometry
-
Algorithmic Combinatorics
-
Automated Reasoning
-
Computer Algebra
-
Parallel and Distributed Computing
-
Formal Methods
-
Scientific Computing
For almost twenty years RISC has been offering a special PhD program in Symbolic Computation which has has found recognition world-wide. About 25 Ph.D. students, most of them from foreign countries, are currently participating in this program. In the frame of its doctorate program, RISC offers
-
a curriculum with courses and seminars in English
-
fellowships for covering living expenses in Austria
-
access to latest research results in the field
-
an inspiring research environment in a medieval castle, and
-
participation in an international scientific network.
RISC seeks applications of excellent and highly motivated students with a university degree in mathematics and/or computer science. Experience in symbolic computation is advantageous but no formal requirement.