[Om-announce] PhD Fellowship on Formal Methods and Computer Algebra

[Temur Kutsia]

PhD Fellowship on "Formal Methods and Computer Algebra"
=======================================================
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 Euro 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