PhD Student Position in Formal Methods for Computer Algebra, the Johannes Kepler University, Austria

In the frame of the newly established Doctoral Program “Computational Mathematics” at the Johannes Kepler University Linz in Austria we offer students with a master degree in computer science or mathematics a three years PhD fellowship in the area of Formal Methods for Computer Algebra (PDF)

The position’s net salary (after taxes) is approximately 17700€ per year.

For more information and details of the application, see:
http://www.risc.uni-linz.ac.at/people/schreine/dkposition/