PhD fellowship: Gröbner Bases & Automated Reasoning, Linz (Austria)

The Research Institute for Symbolic Computation (RISC) at Johannes Kepler University, Linz / Hagenberg, Austria is offering excellent students with a master's in mathematics or computer science PhD fellowships for 3 years  (1600 Euro per month) at the cutting edge of Groebner Bases theory / algorithmics and automated reasoning.

Deadline for application: June 15, 2008. For more details and applications forms etc. see http://www.dk-compmath.jku.at/application or contact Bruno Buchberger at bruno.buchberger at jku.at