PhD Fellowship on Formal Methods and Computer Algebra, Johannes Kepler University, Austria

Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria
In the frame of a newly established doctoral program for computational mathematics, we can offer to students with a master degree in computer science or mathematics a three years PhD fellowship (October 2008- September 2011) in the area of “formal methods and computer algebra”, see
http://www.dk-compmath.jku.at/projects/schreiner/

Net salary (after taxes) is about 17700 € per year

For more details and applications forms see: http://www.dk-compmath.jku.at/application

Deadline for application: June 30, 2008

Further questions can be directly addressed to: Wolfgang.Schreiner[ at ]risc.uni-linz.ac.at