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 Linz in Austria is an international institute with its research focus on various branches of symbolic computation.
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.
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.