Logic List Mailing Archive

PhD fellowships: Johannes Kepler University, Austria

**********************************************************
* At RISC (Research Institute for Symbolic Computation) *
* Johannes Kepler University, Linz / Hagenberg, Austria *
**********************************************************

- Learn Groebner Bases from the Inventor.
- Deeply Dive into Automated Reasoning.

I can offer 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.

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

Deadline for application:
  June 15, 2008.

Send a copy of the application directly to me:
  bruno.buchberger@jku.at


Bruno Buchberger
Inventor of the Groebner Bases Method *)

*) 2008 ACM Kanellakis Award Winner, see
http://www.acm.org/press-room/news-releases/kanellakis-award-07/